Quand l'IA bouscule le trône des mathématiques : crise et nouveaux défis pour les chercheurs
Le monde mathématique est en effervescence après qu'une IA de pointe a réussi à résoudre des problèmes complexes et à prouver des théorèmes au niveau d'une médaille d'argent olympique.
Le podcast Decoder de The Verge s'est penché sur la « crise de l'IA en mathématiques » lors d'une interview de Robert Hart, journaliste IA pour The Verge, s'inscrivant dans le droit fil d'un article de fond sur le rôle croissant de l'intelligence artificielle dans les mathématiques.
Cette avancée fait écho aux rapports du journal Nature et du blog de Google DeepMind, qui indiquent que des modèles tels qu'AlphaProof et AlphaGeometry 2 ont résolu des problèmes des Olympiades internationales de mathématiques (IMO) à un niveau équivalent à une médaille d'argent, en combinant leurs efforts avec des systèmes de vérification logique (comme le langage Lean) pour résoudre les problèmes de raisonnement erroné ou d'hallucination de l'IA.
De son côté, Quanta Magazine rapporte que Terence Tao, mathématicien médaillé Fields, considère que l'IA commence à agir comme un « Copilot », assistant à l'analyse et à la vérification des failles dans les preuves. Néanmoins, ces progrès suscitent des inquiétudes structurelles parmi les mathématiciens de premier plan concernant l'évolution du rôle humain, l'évaluation des travaux académiques et la définition même de la véritable compréhension mathématique.
Cela montre que l'IA passe de tâches générales à la résolution de problèmes logiques de haut niveau, ce qui aura un impact sur l'éducation, la recherche et les compétences requises pour les professionnels de demain.