Le modèle d'intelligence artificielle d'Anthropic réalise des progrès significatifs sur l'hypothèse de Riemann, vieille de 150 ans

L'hypothèse de Riemann, l'un des plus grands problèmes mathématiques non résolus depuis plus de 150 ans et doté d'un prix d'un million de dollars, est entrée dans le radar de l'intelligence artificielle. Un modèle d'IA développé par Anthropic, qui n'a pas encore été commercialisé, a réussi à augmenter considérablement la limite inférieure connue des solutions pour lesquelles l'hypothèse est valide, bien qu'il n'ait pas résolu le problème dans son intégralité.

650 IDÉES DIFFÉRENTES ET 60 SOUS-AGENTS UTILISÉS

Le processus a débuté lorsqu'un employé d'Anthropic, sans formation mathématique avancée, a demandé au modèle de prouver l'hypothèse de Riemann. Travaillant sans relâche pendant environ un jour et demi, le système a coordonné les travaux en établissant un vaste réseau de collaboration.

Au cours de l'étude, 31 millions de jetons de sortie ont été générés, 650 idées de solutions différentes ont été testées et 60 sous-agents d'intelligence artificielle ont été mobilisés. Deux sous-agents ont développé les idées mathématiques fondamentales, tandis que 13 autres ont proposé des idées de soutien. Bien que 30 agents aient tenté de produire de nouveaux arguments, ils n'ont pas réussi. Parmi les agents restants, 13 ont vérifié l'exactitude des arguments produits et les deux derniers ont permis de transformer le travail en article.

LES RÉSULTATS VALIDÉS PAR DES MATHÉMATICIENS

Les conclusions atteintes par le modèle ont été examinées et approuvées par deux mathématiciens humains travaillant chez Anthropic. Les résultats obtenus ont également été formalisés à l'aide de Lean, un assistant de preuve mathématique open source.

Le prix d'un million de dollars, qui sera décerné à quiconque pourra présenter une preuve générale de l'hypothèse de Riemann, directement liée à la distribution des nombres premiers, reste pour l'instant sans lauréat.

LE RÔLE DE L'INTELLIGENCE ARTIFICIELLE EN MATHÉMATIQUES SUSCITE LE DÉBAT

Cette initiative d'Anthropic a relancé les débats sur le rôle des grands modèles de langage dans la recherche scientifique et mathématique. Plus tôt cette année, différents systèmes d'IA avaient été utilisés pour résoudre des problèmes d'Erdős, et le modèle interne Astra d'OpenAI avait réussi à prouver 10 résultats mathématiques importants. Dans une autre étude menée par Anthropic, il avait été démontré que la conjecture jacobienne, débattue depuis longtemps, était fausse.

Cette ascension rapide de l'intelligence artificielle dans la recherche mathématique divise les experts du domaine. En juin, une déclaration publiée par d'éminents mathématiciens a mis en garde contre le fait que l'IA pourrait nuire aux processus de preuve traditionnels. Le texte soulignait l'importance d'attribuer les découvertes mathématiques aux véritables auteurs, qui assument la responsabilité de leurs travaux et sont reconnus pour leurs succès.

Source de l'actualité: 12punto