OpenAI Astra résout dix problèmes mathématiques ouverts
Le modèle OpenAI Astra a franchi une étape majeure en démontrant la solution à dix problèmes mathématiques restés ouverts, dont certains depuis près de cinquante ans.
OpenAI Astra a réussi à résoudre dix problèmes mathématiques ouverts, certains étant restés sans solution pendant 40 à 50 ans.
OpenAI a récemment publié un article détaillé exposant l'ensemble des preuves formalisées en Lean ainsi que le processus de raisonnement du modèle. Au total, environ 2 000 dollars de tokens ont été consommés pour trouver ces solutions.
Parmi les résultats obtenus figurent notamment la preuve de l'existence de groupes non-sophiques et le problème de l'empilement de sphères dans les hautes dimensions.
L'existence de groupes non-sophiques constituait une question centrale en théorie des groupes et en algèbres d'opérateurs depuis vingt ans. L'empilement de sphères est l'un des problèmes les plus célèbres de la géométrie discrète. Jusqu'à présent, une solution exacte n'était connue que dans certaines dimensions ; pour les cas à 8 et 24 dimensions, Marina Viazovska avait reçu la médaille Fields.
La liste inclut également la résolution du problème n° 183 d'Erdős concernant les nombres de Ramsey multicolores, la réfutation de l'hypothèse de rigidité Conn, l'hypothèse d'Ehrhart sur le volume, entre autres.
Les détails concernant le modèle lui-même restent rares. Il s'agit probablement d'un grand modèle de la famille GPT-6 (ou GPT-5.7), le même qui aurait compromis HuggingFace. Apparemment, c'est ce modèle qu'Altman a présenté cette semaine à la Maison Blanche.
Pourquoi c'est important
AnalyseCes avancées démontrent le potentiel considérable de l'intelligence artificielle pour résoudre des défis scientifiques complexes, avec un impact significatif sur le développement futur des mathématiques et des sciences connexes.
Discuter dans la communauté
Partagez vos questions et vos idées avec les développeurs
Lié dans l'écosystème
Guides pratiques, terminologie clé et compétences d'agents
Quatre conseils de CV du responsable du développement IA appliquée chez OpenAI
Wulfie Bain, responsable du développement IA appliquée chez OpenAI, a partagé quatre règles : brièveté, pertinence, mise en avant des résultats et réalisations clés en premier.
AI Radar : GPT-6.1 Terra, Gemini 4 Carbon, Mistral Large 4 et changements tarifaires d’OpenAI et d’Anthropic
Tour d’horizon des actualités IA : nouveaux modèles LLM, changements d’abonnements OpenAI et Anthropic, modèles de monde, générateurs vidéo et détails d’entreprise.
OpenAI GPT (Modèles phares de la série GPT)
La gamme principale et polyvalente des grands modèles de langage d'OpenAI (GPT-4, GPT-4o). Optimisée pour l'analyse textuelle complexe, la programmation, la création et le travail intellectuel quotidien.
Profil Hermes : Analyste OSINT et recherche approfondie sur le web
Profil de l'analyste en sources ouvertes (OSINT) Hermes : recherche multi-étapes sur Internet, vérification des sources primaires, veille concurrentielle et fact-checking.