Le modèle non publié d'Anthropic progresse sur un problème mathématique clé

L'hypothèse de Riemann, l'un des problèmes non résolus les plus célèbres des mathématiques concernant la distribution des nombres premiers, reste non résolue depuis plus de 150 ans, avec une récompense d'un million de dollars pour une preuve. Anthropic a annoncé qu'un modèle non publié a réalisé des progrès notables, augmentant considérablement la borne inférieure des solutions pour lesquelles on sait que l'hypothèse est vérifiée. Un employé ayant des connaissances mathématiques limitées a suggéré au modèle de tenter le problème, puis l'a laissé coordonner la tâche pendant le jour et demi suivant. Pendant ce temps, le modèle a essayé 650 chemins de solution, coordonné 60 sous-agents et consommé 31 millions de jetons de sortie. Parmi les sous-agents, 2 ont développé des solutions mathématiques principales, 13 ont généré de nouvelles variantes pour ces agents, 30 ont tenté sans succès de produire de nouvelles idées, 13 ont servi de validateurs et 2 ont aidé à rédiger l'article initial. Le résultat a été vérifié par deux mathématiciens du personnel et formalisé dans l'assistant de preuve Lean. Ces dernières années, les modèles d'IA ont résolu plusieurs problèmes de Pál Erdős, le modèle Astra d'OpenAI en résolvant dix et un autre modèle d'Anthropic réfutant une hypothèse jacobienne de longue date. Ces réalisations suscitent à la fois enthousiasme et inquiétude dans la communauté mathématique concernant la paternité et la responsabilité de l'exactitude, certains soutenant que les théorèmes n'ont pas besoin d'être associés à des chercheurs spécifiques.