FoxTPNL · CC BY 4.0 · Wikimedia Commons
OpenAI publie des centaines de démonstrations faites par IA, des mathématiciens s'insurgent
1 sur 5
Mardi, OpenAI a mis en ligne plus de 700 fichiers avec des démonstrations de problèmes mathématiques produites par ses modèles. Elles sont vérifiées par le logiciel Lean, mais parfois presque illisibles pour un humain.
2 sur 5
« Publier plus de 700 fichiers d'un coup n'est pas une démonstration de savoir, mais une démonstration de puissance. »
— Association for Human Mathematics
3 sur 5
OpenAI
« On consulte des experts »
Les experts
« Arrêtez ces tests »
OpenAI dit consulter un groupe d'experts indépendants. Mais ce groupe lui avait demandé fin septembre d'arrêter de tester des problèmes avancés sur des modèles fermés aux chercheurs.
4 sur 5
Les mathématiciens reprochent aussi à OpenAI de leur laisser le travail de déchiffrer et vérifier ces centaines de démonstrations. Un médaillé Fields a relayé leur texte.
5 sur 5
