Cette IA aurait signé 10 avancées mathématiques : exploit ou coup de com’ d’OpenAI ?

OpenAI attribue à une version interne de sa prochaine IA dix résultats "inédits" en mathématiques et en informatique théorique. Ils sont accompagnés de certificats formalisés dans Lean 4, mais la communauté scientifique doit encore en apprécier la nouveauté et la portée.