Tech
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
