Les mathématiciens exigent des preuves vérifiables des laboratoires d'IA — OpenAI publie 722 articles
Face aux critiques des mathématiciens qui réclament des preuves formelles plutôt que des billets de blog, OpenAI a répondu en publiant un dépôt contenant 722 articles regroupés en 372 résultats.
Les mathématiciens ont appelé les principaux laboratoires d'intelligence artificielle à publier de véritables preuves vérifiables, plutôt que de simples billets de blog.
OpenAI a répondu avec le dépôt openai/math, qui contient 722 articles regroupés en 372 résultats.
Selon l'entreprise, ces matériaux ont été préparés par un nouveau modèle interne non encore commercialisé. Les tests mathématiques standard se sont révélés trop faciles pour ce modèle, qui s'est donc vu confier environ 4 000 problèmes de recherche non résolus. Certains d'entre eux résistaient aux mathématiciens depuis des décennies.
En moyenne, chaque résultat a nécessité environ trois heures de calcul. Le modèle a formaté ses réponses sous forme d'articles scientifiques, dont certains prétendent résoudre des problèmes très connus.
Pourquoi c'est important
AnalyseCette initiative illustre la capacité de l'IA à générer des artefacts mathématiques formalisés, mais sans preuves ouvertes et vérifiables, ils restent de simples affirmations. Pour les chercheurs, il est crucial que les laboratoires d'IA publient des matériaux réellement vérifiables.
Discuter dans la communauté
Partagez vos questions et vos idées avec les développeurs