
Personne ne réalise ce qu’OpenAI vient de créer
🧠 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…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.