OpenAI a annoncé le 1er août que son modèle de raisonnement de nouvelle génération, appelé Astra en interne, a généré de manière autonome 10 nouveaux résultats sur des problèmes ouverts en mathématiques et en informatique théorique. Le modèle avait déjà réfuté en mai la conjecture des distances unitaires planes d’Erdős, un problème qui résistait aux mathématiciens depuis près de 80 ans. Chacun des 10 nouveaux résultats a été indépendamment vérifié par des mathématiciens professionnels, dont le médaillé Fields Tim Gowers, qui a qualifié cette réalisation de jalon dans l’histoire de l’IA-mathématiques. Cette avancée soulève des interrogations sur les fondements mathématiques de la cryptographie qui assure la sécurité des cryptomonnaies et des protocoles blockchain.
Source: Lire l’article original
