Résoudre les plus grands problèmes mathématiques était un art. Puis est arrivée l'IA
wired ·
OpenAI a récemment affirmé avoir résolu le problème de l'existence et de la régularité des équations de Navier-Stokes, une question vieille de plusieurs décennies, en utilisant des milliers d'agents d'intelligence artificielle, ce qui a suscité la controverse au sein de la communauté mathématique. Les critiques soutiennent que cette approche par la force brute compromet la nature artistique et créative des mathématiques, qui privilégie une compréhension profonde plutôt que de simples résultats. De nombreux mathématiciens estiment que l'IA contourne le processus délibéré nécessaire au développement de nouvelles idées, risquant ainsi de produire des solutions sans véritable compréhension. Une déclaration signée par des lauréats de la médaille Fields met en garde contre le fait que la production en masse de preuves pourrait détruire le terreau fertile de l'innovation humaine. Des experts comme Lorenzo Gavassino soulignent que la difficulté inhérente aux calculs complexes inspire souvent des concepts novateurs, tels que les nombres imaginaires. Des préoccupations existent également concernant la transparence, l'attribution et les implications éthiques du remplacement de la formation des doctorants par un calcul automatisé. Bien qu'OpenAI ait constitué un groupe consultatif pour répondre à ces inquiétudes, des tensions demeurent quant au rôle futur de l'IA dans la découverte scientifique.
wired