Anthropic未发布模型在黎曼猜想研究中取得进展

OmniTools 8月12日消息，据TechCrunch报道，Anthropic公司一款尚未发布的AI模型在黎曼猜想这一数学核心难题上取得实质性进展，显著提升了该猜想成立的已验证下界。该猜想自1859年提出以来，已有160余年历史，目前仍悬赏100万美元寻求完整证明。

实验由一名无专业数学背景的Anthropic员工发起，模型通过协调60个子智能体，在约36小时内测试了650种解题思路，总计算开销达3100万美元。其中两个子智能体主导提出关键数学思想，13个提供辅助思路，30个尝试但未成功，13个负责验证论证正确性，另两个参与初稿撰写。结果经Anthropic内部两位数学家确认，并使用开源证明助手Lean完成形式化验证。

该成果是近期大语言模型推动数学突破的又一案例。今年已有多个Erdős问题被AI解决，OpenAI亦公布其内部“Astra”模型完成的十项重要定理证明；Anthropic此前还曾借助AI否证雅可比猜想。相关进展正引发数学界对AI辅助科研范式、作者归属与责任认定等问题的深入讨论。