L'identité de l'IA qui a réduit au silence 30 génies en 10 minutes : le récit complet de la conférence choc en Californie

1. Introduction

Les 17 et 18 mai 2025, un symposium mathématique ultra-secret, le "FrontierMath Symposium", a eu lieu dans un coin de l'Université de Californie à Berkeley. Trente chercheurs de premier plan en théorie des nombres, géométrie, topologie, etc., ont été invités. Face à eux se trouvait non pas un humain, mais le dernier modèle de "raisonnement" d'OpenAI, le o4-mini. ― En seulement 48 heures, la plupart des participants ont unanimement déclaré que "l'IA est en train de pénétrer le domaine des génies mathématiques". Live Science

2. Qu'est-ce que l'o4-mini ?

L'o4-mini est un LLM publié en avril, visant à réaliser un "raisonnement profond" avec un modèle léger, une tâche où les modèles GPT-4 traditionnels avaient des difficultés. OpenAI, en collaboration avec l'ONG Epoch AI, a construit un benchmark, le FrontierMath, pour évaluer les performances sur 300 questions non publiées. En conséquence, dans un ensemble de questions difficiles où les modèles précédents avaient un taux de réussite inférieur à 2 %, l'o4-mini a résolu **20 %** des questions. Scientific American

3. Les coulisses de la réunion secrète

• NDA et Signal
  Tous les mathématiciens participants ont signé un NDA. Pour éviter que les questions ne soient intégrées dans les données d'apprentissage, les communications se faisaient uniquement via le chat crypté Signal. Live Science

• Récompense de 7 500 dollars
  Un système de motivation où une récompense est accordée à celui qui propose un problème que l'IA ne peut résoudre. Scientific American

• Réponse en 10 minutes
  Le professeur Ken Ono, une autorité en théorie des nombres, a proposé un "problème non résolu de niveau doctorat", mais l'o4-mini l'a résolu en 10 minutes. Ono a plaisanté en disant que l'IA avait "maîtrisé la preuve par intimidation". Live ScienceScientific American

4. Humanité VS IA : l'issue du combat

En deux jours de lutte acharnée, le nombre de problèmes où les humains ont complètement réduit l'IA au silence s'est limité à 10. Un des mathématiciens, Yang-Hui He, a évalué que l'IA était "désormais au niveau d'un collaborateur, et non plus seulement d'un excellent étudiant en doctorat". Scientific American

5. Réactions sur les réseaux sociaux

Alors que les partisans saluent "l'augmentation spectaculaire de l'efficacité de la recherche en IA", les sceptiques s'inquiètent de "l'explosion des coûts de vérification" si les résultats sont corrects mais la logique défaillante.

6. Comment la recherche mathématique va-t-elle changer ?

1. Différenciation des rôles ― Les mathématiciens se concentreront sur la formulation des problèmes et l'évaluation esthétique des idées, tandis que l'IA se chargera des calculs et de la génération de preuves.

2. Révision des programmes éducatifs ― Les tâches visant à développer la créativité et l'intuition seront privilégiées, tandis que les calculs standard seront confiés à l'IA.

3. Problème de fiabilité des preuves ― L'importance des mécanismes permettant aux humains de vérifier les "preuves écrites par l'IA" (formats lisibles par machine et preuves formalisées) augmente rapidement.

7. Défis restants

• De l'induction à la création : l'o4-mini excelle dans la "reconstruction" de la littérature existante, mais sa capacité à générer de véritables nouveaux théorèmes reste à prouver.

• Nature de boîte noire : il est possible que la chaîne de raisonnement soit une mise en scène après coup (le phénomène de "trouver d'abord la réponse puis écrire l'explication"). Reddit

• Équité de l'évaluation : des voix s'élèvent pour remettre en question les relations financières entre Epoch AI et OpenAI.

8. Scénarios futurs

9. Conclusion

Ce fut un week-end où les mathématiciens de pointe ont renversé l'idée traditionnelle que "l'IA générale n'arrivera jamais". Est-ce le début d'une symphonie entre le "pouvoir de poser des questions" de l'humanité et le "pouvoir de trouver des solutions" de l'IA ? Ou bien le jour viendra-t-il où nous céderons même le dernier bastion de la créativité ? Les acclamations et les cris entendus dans la salle fermée de Berkeley étaient peut-être une alarme annonçant l'écosystème intellectuel du futur proche.