OpenAI résout 10 problèmes mathématiques majeurs avec Astra
Le modèle Astra d'OpenAI a résolu 10 problèmes mathématiques majeurs, dont trois posés par Paul Erdős et un vieux de 27 ans, en quelques heures pour 2000$ par problème. Les preuves, vérifiables via Lean, ont été publiées sur GitHub, provoquant admiration et inquiétude chez les chercheurs.
« pour la première fois, l'IA a résolu un problème sur lequel j'ai moi-même longuement travaillé, ce qui rend cette défaite d'autant plus difficile à accepter » — Siecle Digital
Que faut-il retenir ?
- Astra a résolu 10 problèmes mathématiques complexes dont 3 posés par Paul Erdős.
- Le coût était d'environ 2000$ de jetons par problème résolu.
- Les preuves ont été traduites en fichiers Lean vérifiables par tous.
- OpenAI lance ChatGPT for Academic Researchers pour 100 000 scientifiques.
Pourquoi cette nouvelle compte-t-elle ?
Cette avancée démontre la capacité de l'IA à résoudre des problèmes mathématiques complexes rapidement et à moindre coût, remettant en question les méthodes traditionnelles de recherche. Elle ouvre de nouvelles possibilités en cryptographie post-quantique et pourrait accélérer considérablement les découvertes scientifiques. La mise à disposition des preuves via Lean permet une vérification par les pairs, essentielle en mathématiques.
2000 dollars de jetons par problème résolu
💬 Jay Cummins, mathématicien
Public concerné : développeurs, entreprises, éducation
Comment OpenAI a-t-il résolu ces problèmes mathématiques complexes ?
OpenAI a utilisé son modèle Astra, qui coordonne plusieurs agents IA en parallèle. Chaque solution a coûté environ 2000$ et les preuves ont été traduites en fichiers Lean pour vérification par la communauté mathématique.
🔧 Outils mentionnés