Anthropic模型攻克黎曼猜想新进展

黎曼猜想是数学界最著名的未解决问题之一，自1859年提出以来已困扰数学家超过150年。Anthropic公司尚未发布的一款新模型在针对该猜想的测试中表现出显著进步，其推理能力超出了研究人员的预期。尽管模型并未最终证明或证伪黎曼猜想，但生成了一些有启发性的数学结构，并验证了部分已知结论的扩展形式。Anthropic内部评估显示，该模型在数学推理基准测试中的得分比此前最强版本提升了约15%，特别是对复杂分步推理的准确率提升明显。这一成果尚未经过同行评议，但已引起数学界和AI界的广泛关注。Anthropic暂未公布模型的具体名称和技术细节，仅表示这是其下一代模型的重要能力验证。该事件标志着AI在纯粹数学的前沿探索中迈出了实质性一步，此前类似工作多集中在计算机代数系统或简单的定理证明上，而此次是首次由通用大模型在百年难题上取得有意义的进展。