OpenAI promet de résoudre 100 théorèmes sous l’audit de mathématiciens

OpenAI promet de résoudre 100 théorèmes sous l’audit de mathématiciens

• OpenAI s’engage à résoudre 100 théorèmes mathématiques face à la prolifération de résultats générés par IA.
• Un groupe indépendant, l’AGMAI, soutenu par l’ENS, audite ces travaux pour en vérifier la rigueur.
• Cette initiative vise à renforcer la crédibilité des modèles d’IA en mathématiques.

Lire à la source