"C'est un cataclysme comme jamais les maths n'en ont connu" : Cédric Villani et d'autres mathématiciens sous le choc des exploits de l'IA
Les avancées de l’IA en mathématiques touchent désormais des problèmes qui résistaient depuis des décennies. Une accélération spectaculaire, jusqu’aux sommets de la discipline, qui fascine autant qu’elle inquiète les chercheurs..
Des mathématiciens de renom, dont le député et médaillé Fields Cédric Villani, ont exprimé leur stupéfaction face aux avancées récentes de l'intelligence artificielle (IA) dans le domaine des mathématiques. Villani a qualifié ces progrès de cataclysme, une expression forte soulignant l'ampleur des bouleversements induits. Ces réactions font suite à la publication par OpenAI d'une preuve mathématique résolvant un problème considéré comme l'un des plus difficiles au monde, un problème du millénaire. Ce terme désigne une liste de sept défis mathématiques non résolus, établie en 2000 par l'Institut Clay, chacun doté d'un prix d'un million de dollars. La résolution de l'un d'eux par une IA marque un tournant historique, car jusqu'à présent, ces problèmes étaient réservés aux esprits humains les plus brillants.
La mathématicienne Sylvia Serfaty, également citée dans l'article, a déclaré que ces exploits marquent la fin d'un monde, celui des mathématiques artisanales. Cette expression fait référence à une époque où les mathématiciens travaillaient de manière individuelle ou en petits groupes, avec des outils limités à leur propre intelligence et à des calculs manuels. L'IA, en revanche, utilise des algorithmes capables d'analyser des quantités colossales de données et de générer des démonstrations complexes en un temps record. Serfaty souligne que cette transition pourrait redéfinir la pratique des mathématiques, passant d'une approche intuitive et créative à une méthode plus systématique et automatisée, où l'IA joue un rôle central dans la résolution de problèmes.
Les avancées de l'IA dans les mathématiques soulèvent des questions sur l'avenir de la recherche dans ce domaine. Traditionnellement, la résolution d'un problème mathématique repose sur une combinaison de logique, de créativité et de persévérance. Avec l'IA, ces étapes pourraient être accélérées, voire automatisées, ce qui pourrait libérer du temps pour les chercheurs. Cependant, certains mathématiciens s'inquiètent de la perte du processus de réflexion humaine, qui inclut l'intuition et la compréhension profonde des concepts. L'IA pourrait ainsi devenir un outil puissant, mais son utilisation soulève des débats sur la place de l'humain dans la recherche scientifique. Ces outils pourraient aussi rendre les mathématiques plus accessibles, en permettant à des non-experts de résoudre des problèmes complexes.
La communauté mathématique est divisée face à ces avancées. Certains y voient une opportunité sans précédent pour résoudre des problèmes restés en suspens pendant des siècles, tandis que d'autres expriment des craintes quant à la standardisation des méthodes de recherche. Cédric Villani, connu pour son engagement en faveur de la vulgarisation scientifique, a souligné l'importance de comprendre ces nouvelles technologies et leurs implications. Il a également rappelé que l'IA ne remplace pas totalement l'expertise humaine, mais la complète. Ces réactions montrent que l'impact de l'IA sur les mathématiques dépasse le cadre technique et touche à des enjeux éthiques, philosophiques et sociétaux.
Les *problèmes du millénaire* sont sept défis mathématiques identifiés comme cruciaux pour l'avancement de la discipline. Parmi eux, on trouve des questions liées à la théorie des nombres, à la géométrie et à la physique mathématique. Jusqu'à présent, seul un de ces problèmes avait été résolu, en 2013, par le mathématicien Grigori Perelman. L'IA d'OpenAI a réussi à résoudre un autre de ces problèmes, démontrant sa capacité à manipuler des concepts abstraits et à produire des démonstrations rigoureuses. Cette avancée pourrait inspirer de nouvelles recherches et ouvrir la voie à des applications concrètes dans des domaines comme la cryptographie, la physique théorique ou l'ingénierie.
