ChatGPT résout 10 grands problèmes de maths, mais il y a un souci considérable qui émerge

OpenAI annonce qu’une version interne de son modèle Astra a résolu dix problèmes mathématiques majeurs, mais suscite une inquiétude chez les chercheurs.

• Astra aurait fourni des démonstrations pour dix problèmes ouverts, marquant une avancée sans précédent pour l’IA en mathématiques.
• Cette performance révèle un déséquilibre : les algorithmes produisent des preuves plus rapidement que les mathématiciens ne peuvent les analyser et valider.
• La communauté scientifique s’interroge désormais sur la nécessité de nouveaux cadres de vérification et de compréhension pour maîtriser ces résultats générés par l’IA.