Preuves mathématiques générées par IA
OpenAI revendique des avancées en mathématiques, mais les preuves restent à vérifier
OpenAI a diffusé des manuscrits présentant des résultats sur des centaines de problèmes mathématiques et affirme avoir avancé sur l’existence de la théorie de Yang-Mills. La vérification par des physiciens n’est pas achevée : une preuve de 1 147 pages reste sous clé, tandis que la communauté scientifique débat de sa reproductibilité et de la place des chercheurs.
12 sources · 7 médias · 3 min
Au début d’octobre, OpenAI a diffusé des manuscrits présentant des résultats dans 372 catégories de problèmes mathématiques, dont plusieurs étaient réputés non résolus depuis longtemps. L’entreprise a également revendiqué une avancée sur l’existence de la théorie de Yang-Mills. Ces publications établissent une revendication et mettent des textes à l’examen ; elles ne suffisent pas, à elles seules, à établir que les preuves sont acceptées par la communauté scientifique.
La vérification est au cœur du conflit.
La suite est réservée aux abonnés Yaktu
Abonnez-vous pour lire l’intégralité de ce sujet et accéder aux trois Focus Hebdo permanents ainsi qu’à la Banque d’archives Yaktu.
- Les trois Focus Hebdo
- La Banque d’archives
Un mois offert · puis 2,90 € / mois · Sans engagement. Vous pouvez résilier avant la première échéance pour ne pas être prélevé.
