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.
On se serait bien passé de vos accusations spéculatives en conclusion…
Pourquoi ,
Parce qu’OpenAI ne fait jamais de coups de com. 