Anthropic publie des avancées expérimentales sur l'hypothèse de Riemann

Un modèle non publié d’Anthropic a généré des avancées sur l’hypothèse de Riemann, l’un des problèmes mathématiques non résolus les plus célèbres, en combinant des agents spécialisés et des outils de vérification formelle.

L’expérience a été menée par un employé d’Anthropic sans formation mathématique approfondie. Après une instruction initiale pour « tenter sérieusement » de résoudre l’hypothèse, le modèle a coordonné son travail pendant 36 heures, testant 650 idées via 60 sous-agents. Deux de ces sous-agents ont produit les idées mathématiques clés, tandis que 13 autres ont contribué à leur élaboration. Trente sous-agents ont tenté de développer de nouvelles idées sans succès, et 13 ont servi de validateurs pour vérifier la rigueur des arguments. Les deux derniers ont participé à la rédaction du document final. Les résultats ont été confirmés par deux mathématiciens internes à Anthropic et formalisés à l’aide de l’assistant de preuve open source Lean.

Cette avancée s’inscrit dans une série de résultats mathématiques obtenus par des modèles de langage. Récemment, des problèmes d’Erdős ont été résolus par des IA, et des modèles comme Astra d’OpenAI ont également produit des preuves majeures. Anthropic avait précédemment invalidé la conjecture de Jacobi via une autre approche expérimentale. Ces développements soulèvent des questions sur la capacité des IA à générer des preuves mathématiques valides et sur leur impact sur les normes traditionnelles du domaine.