Mathématiques : les résultats d’OpenAI à l’épreuve de la vérification
Selon The Verge, OpenAI a diffusé près de 400 résultats mathématiques générés par IA, avec des niveaux de vérification variables. Leur évaluation pose un double problème : contrôler les preuves et vérifier que les énoncés formalisés correspondent bien aux conclusions présentées dans les manuscrits.