Anthropic a récemment annoncé que son IA Claude a accompli de manière indépendante la preuve formelle du dernier théorème de Fermat en 11 jours, générant environ 13 millions de lignes de code vérifiables ligne par ligne par une machine, et cette preuve a été validée par le mathématicien Kevin Buzzard. Ce travail a été mené en parallèle par des dizaines d'agents Claude, utilisant les outils de collaboration Prove2Me développés par l'équipe de Peng Tian, pour coordonner les tâches via une liste de tâches en temps réel ; environ 7 % des lignes de la preuve proviennent d'essais antérieurs erronés, et le processus de formalisation a été réalisé en langage Lean, permettant à chaque étape logique d'être vérifiée par ordinateur.
xiyuPartager
Source:Afficher l'original
Clause de non-responsabilité : les informations sur cette page peuvent avoir été obtenues auprès de tiers et ne reflètent pas nécessairement les points de vue ou opinions de KuCoin. Ce contenu est fourni à titre informatif uniquement, sans aucune représentation ou garantie d’aucune sorte, et ne doit pas être interprété comme un conseil en investissement. KuCoin ne sera pas responsable des erreurs ou omissions, ni des résultats résultant de l’utilisation de ces informations.
Les investissements dans les actifs numériques peuvent être risqués. Veuillez évaluer soigneusement les risques d’un produit et votre tolérance au risque en fonction de votre propre situation financière. Pour plus d’informations, veuillez consulter nos conditions d’utilisation et divulgation des risques.