🧠 Jumeaux numériques : écrivez à contact@projetjanus.com

Le 6 octobre 2026, OpenAI a publié sur GitHub 722 manuscrits écrits par une IA, répartis en 372 familles de résultats. Ils apportent des solutions à des centaines de problèmes de mathématiques jusque-là ouverts, dont certains résistaient aux chercheurs depuis des décennies. Selon OpenAI, chaque résultat a demandé en moyenne l'équivalent de trois heures de réflexion de ChatGPT Pro, et environ 42 % des résultats principaux sont déjà vérifiés formellement dans le langage Lean.

Jusqu'ici, on pouvait se raconter que l'IA remplacerait surtout les tâches répétitives. Les maths, c'est autre chose : l'abstraction, l'invention, le génie. Le médaillé Fields Hugo Duminil-Copin a vu une IA résoudre la conjecture sur laquelle il s'était cassé les dents pendant des années. Le 23 juillet, Jacob Tsimerman recevait la médaille Fields et annonçait le jour même qu'il rejoignait OpenAI.

Parce que la science avance désormais à l'échelle du trimestre. Sauf que notre façon de mesurer l'intelligence, elle, n'a pas bougé : on a jugé les IA à l'aune des humains, des examens de médecine aux Olympiades de maths, jusqu'au « Dernier Examen de l'Humanité ». Les examens ne suffisent plus. Bientôt, c'est l'humain qu'on mesurera à l'aune de la machine.

Que reste-t-il aux mathématiciens quand une IA démontre en quelques heures ce qu'ils cherchaient depuis des générations ? L'intelligence humaine est-elle vraiment un plafond que l'IA ne peut pas dépasser ? Et comment avoir une IA de son côté, qui vous connaît et défend vos intérêts, dans un monde qui va trop vite ?

Je vous présente aussi le projet que je lance : des jumeaux numériques souverains, confidentiels et décentralisés, synchronisés sur vos valeurs, votre psychologie et votre façon de décider.

Cette vidéo ne dit pas que les mathématiciens n'ont plus d'avenir. Elle explique pourquoi la mathpocalypse montre qu'aucune intelligence n'est à l'abri, et pourquoi il devient urgent de penser notre place face à l'IA.

----
Sources

OpenAI : Sharing AI progress in mathematics
https://openai.com/index/sharing-ai-progress-in-mathematics/

Le dépôt openai/math : manuscrits, formalisations Lean et historique des corrections
https://github.com/openai/math

#Mathématiques #IntelligenceArtificielle #OpenAI