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.
Tech
CETTE IA AURAIT SIGNÉ 10 AVANCÉES MATHÉMATIQUES : EXPLOIT OU COUP DE COM’ D’OPENAI ?
03 août 2026
1 min de lecture
