Un modèle Anthropic non publié progresse sur l'hypothèse de Riemann

Anthropic a annoncé qu'un modèle encore non publié a réalisé des progrès significatifs sur l'hypothèse de Riemann, un célèbre problème non résolu concernant les nombres premiers, qui perdure depuis plus de 150 ans. Un membre du personnel d'Anthropic, sans formation mathématique approfondie, a demandé au modèle de tenter une preuve, puis l'a laissé coordonner la tâche pendant une journée et demie. Le modèle a testé 650 idées différentes, en coordonnant 60 sous-agents et en dépensant au total 31 millions de jetons. Deux des sous-agents ont développé les idées mathématiques clés, tandis que d'autres ont contribué avec des idées, tenté sans succès d'en développer de nouvelles, servi de validateurs ou aidé à rédiger l'article. Deux mathématiciens internes d'Anthropic ont confirmé les résultats, et la preuve a été formalisée à l'aide de l'assistant de preuve open source Lean. Cela fait partie d'une série de percées mathématiques réalisées par de grands modèles de langage, notamment des problèmes d'Erdős résolus et d'autres résultats issus du modèle « Astra » d'OpenAI et la réfutation par Anthropic de la conjecture de Jacobian. Le nombre croissant de résultats a suscité à la fois enthousiasme et inquiétude, certains mathématiciens s'inquiétant de l'attribution et de la responsabilité des preuves, tandis que le lauréat de la médaille Fields, Timothy Gowers, suggère que le changement pourrait être moins problématique qu'il n'y paraît.