Tech
- 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.
Cliquez sur un logo pour lire l’article