OpenAI a publié sur GitHub 722 articles de mathématiques produits par un modèle de pointe interne qu’il n’a pas encore mis à disposition, regroupés en 372 familles de résultats. Selon le groupe indépendant AGMAI, ces travaux contiennent des résultats portant sur des centaines de problèmes ouverts restés longtemps sans solution ; ils doivent toutefois être vérifiés par la communauté mathématique et certains peuvent contenir des erreurs.
Le modèle a été confronté à environ 4 mille problèmes lors de l’évaluation ; un résultat moyen a été produit avec environ trois heures de capacité de réflexion de ChatGPT Pro. OpenAI a partagé des résumés de raisonnement pour 10 problèmes :
- la mesure d’irrationalité du nombre π
- les conjectures de Mahler
- la conjecture de finitude directe de Kaplansky
- le système relativiste de Vlasov-Maxwell en trois dimensions
Une partie des preuves est vérifiée à l’aide du système Lean ; le dépôt continuera d’être mis à jour. Un travail portant sur la fonction zêta de Riemann a, lui, été produit selon un processus exceptionnel et édité par un humain. Le dépôt contient également des règles concernant la mise à jour des articles et la citation des sources.
L’AGMAI, au sein de l’Institute for Advanced Study de Princeton, demande que les résultats soient publiés par des canaux académiques, que la transparence soit assurée et que les découvertes ne soient pas instrumentalisées à des fins de marketing.
Contexte
OpenAI n’est pas un nom nouveau dans les archives de FikirPilot : nous avons publié 80 actualités mentionnant ce nom au cours des 90 derniers jours ; la plus récente date du 6 octobre 2026.