L'intelligence artificielle s'attaque à la recherche mathématique
L'intelligenceartificielle (IA) transforme progressivement des tâches simples en automatisation, puis s'étend à des professions comme la programmation, le design et la rédaction. Elle commence désormais à explorer des domaines beaucoup plus complexes : la recherche mathématique.
Un saut important dans la recherche
Il ne s'agit plus d'appliquer des formules connues ou de résoudre des opérations. Les chercheurs travaillent sur des problèmes ouverts, formulant des hypothèses et cherchant de nouvelles approches pour des questions qui peuvent rester sans réponse pendant des décennies. L'implication d'une machine dans ce niveau de complexité représente un progrès significatif.
Cette avancée modifie également le débat sur les emplois réellement menacés par l'automatisation. Jusqu'à présent, l'attention se concentrait principalement sur les emplois répétitifs ou facilement digitalisables. Les progrès récents montrent que l'IA peut également commencer à assumer des tâches nécessitant des connaissances très spécialisées et des années de formation.
Des premiers succès, mais avec des limites
En mai, un modèle d'OpenAI a progressé sur une conjeture liée au problème des distances unitaires de Paul Erdős. Cette avancée a été validée par des mathématiciens externes. Le projet First Proof a ensuite soumis plusieurs systèmes d'IA à dix problèmes de recherche mathématique réels. Au moins un modèle a produit des solutions qui ont dépassé l'évaluation d'experts sur sept de ces problèmes. Bien que surprenant, ces résultats ne prouvent pas encore que l'IA puisse mener des recherches de manière autonome. Certaines réponses étaient proches de la vérité, tandis que d'autres nécessitaient des modifications. Les systèmes peuvent également commettre des erreurs difficiles à détecter et générer des démonstrations nécessitant une révision approfondie par des spécialistes.
Cependant, cette avancée démontre que ces modèles peuvent déjà participer à des problèmes qui semblaient auparavant trop complexes. Une partie du travail technique des chercheurs pourrait être soutenue par des outils capables d'explorer des solutions et de développer des démonstrations à une vitesse impossible pour un humain.
L'importance de la direction de la recherche
Un mathématicien ne reçoit pas une liste de problèmes et cherche des réponses. Il décide également quelles questions sont importantes, formule de nouvelles hypothèses, relie les résultats et détermine si une découverte peut ouvrir une nouvelle ligne de recherche. Même si une IA peut démontrer un résultat, il reste une question essentielle : comprendre son importance et ses conséquences. Cette capacité à établir des priorités et à trouver de nouvelles directions dépend encore en grande partie du jugement humain.