OpenAI résout des problèmes mathématiques complexes : la communauté mathématique en crise

OpenAI a publié des solutions à des problèmes mathématiques anciens, déclenchant un débat au sein de la communauté des mathématiciens sur l’avenir de leur discipline.

Les modèles d’IA, jusqu’alors jugés inefficaces en mathématiques, montrent désormais des capacités avancées dans ce domaine. Selon Robert Hart, journaliste IA pour The Verge, cette évolution s’est produite en quelques mois, passant d’une incapacité à résoudre des problèmes élémentaires comme compter les lettres dans un mot, à la résolution de questions mathématiques abstraites et complexes. Les mathématiciens interrogés par Hart soulignent que cette transition rapide soulève des questions existentielles sur le rôle des chercheurs humains dans un contexte où les modèles pourraient répondre à des problèmes ouverts.

La communauté mathématique s’interroge sur la pertinence des programmes universitaires et des subventions de recherche si les modèles d’IA peuvent résoudre directement des problèmes mathématiques de haut niveau. Certains y voient une opportunité pour accélérer les découvertes, tandis que d’autres craignent une marginalisation des chercheurs humains, dont la formation repose sur l’identification et la résolution de problèmes inédits. Hart note que les modèles restent défaillants sur des tâches arithmétiques simples, comme la gestion du temps ou le comptage élémentaire, révélant une disparité entre leurs compétences en mathématiques avancées et leurs limites persistantes en calcul basique.

Cette avancée relance également le débat sur les motivations des laboratoires d’IA, certains mathématiciens suspectant une stratégie marketing derrière ces annonces. La question de la valeur intrinsèque des mathématiques comme discipline académique est posée, alors que les modèles pourraient rendre obsolètes certaines approches traditionnelles de recherche.