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.
Pour lire l'article dans son intégralité cliquez-ici.
