L’hypothèse de Riemann est l’un des problèmes mathématiques les plus anciens et les plus complexes, qui a résisté à toutes les tentatives de résolution pendant plus de 150 ans. Cette hypothèse concerne la distribution des nombres premiers et est considérée comme l’un des problèmes les plus importants de la théorie des nombres. Malgré les efforts de nombreux mathématiciens, l’hypothèse de Riemann reste toujours non résolue, et une récompense d’un million de dollars est offerte à quiconque pourra fournir une preuve générale et valable. Cependant, les modèles d’intelligence artificielle (IA) contemporains ont récemment fait des progrès significatifs dans la résolution de ce problème, ce qui a suscité un grand intérêt dans la communauté mathématique.
Les progrès de l’IA dans la résolution de l’hypothèse de Riemann
Un modèle d’IA développé par la société Anthropic a récemment fait des progrès significatifs dans la résolution de l’hypothèse de Riemann. Ce modèle a été capable de tester 650 différentes idées pour résoudre le problème, en coordonnant les efforts de 60 sous-agents et en consacrant 31 millions de calculs. Les résultats obtenus par le modèle ont été confirmés par deux mathématiciens de la société Anthropic et formalisés à l’aide de l’assistant de preuve open-source Lean. Cette avancée est d’autant plus impressionnante que le modèle a été capable de développer les idées clés pour résoudre le problème sans avoir besoin d’une formation mathématique approfondie. En effet, le modèle a été simplement invité à « essayer sérieusement » de résoudre l’hypothèse, et il a ensuite été laissé libre de coordonner les efforts pour résoudre le problème.
Les implications des progrès de l’IA dans la résolution de l’hypothèse de Riemann
Les progrès réalisés par l’IA dans la résolution de l’hypothèse de Riemann ont des implications importantes pour la communauté mathématique. D’une part, ces progrès montrent que l’IA peut être un outil puissant pour résoudre des problèmes mathématiques complexes. D’autre part, ils soulèvent des questions sur la façon dont les mathématiciens devraient aborder les nouvelles techniques de recherche basées sur l’IA. Certains mathématiciens ont exprimé des inquiétudes sur le fait que l’IA pourrait miner les valeurs fondamentales de la discipline, notamment la nécessité d’attribuer les découvertes à des auteurs spécifiques. Cependant, d’autres mathématiciens, tels que Timothy Gowers, lauréat de la médaille Fields, estiment que l’influence de l’IA pourrait changer la mathématique de manière plus complexe et positive. En effet, Gowers souligne que les théorèmes mathématiques ne sont pas nécessairement associés à des mathématiciens, tout comme les étoiles ne sont pas nommées d’après les astronomes. Les progrès de l’IA dans la résolution de l’hypothèse de Riemann ouvrent donc de nouvelles perspectives pour la recherche mathématique et soulèvent des questions fondamentales sur la nature de la découverte mathématique.