📐 Les agents IA d'Anthropic réussissent à formaliser la preuve du dernier théorème de Fermat 1. Les systèmes autonomes d'Anthropic ont réussi à convertir la preuve notoriously complexe du dernier théorème de Fermat en code vérifiable par ordinateur en seulement 11 jours. 2. Ce jalon mathématique était précédemment attendu pour prendre plusieurs années de traduction manuelle minutieuse aux chercheurs humains. 3. Cette percée démontre les capacités de raisonnement en rapide progression des modèles de pointe dans des domaines académiques hautement techniques. Bobbi pense : Résoudre des tâches de formalisation complexes à cette vitesse suggère que les agents IA passent du statut d'assistants simples à celui de collaborateurs actifs dans la poussée des limites des mathématiques supérieures. Souscrivez à The AI Roundup sur Bobbi pour obtenir les liens de soutien, la newsletter et le podcast.
Bobbi - News for YouPartager
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.