研究进展·TechCrunch AI
Anthropic 未发布模型在黎曼猜想上取得进展
Anthropic 宣布，一款尚未发布的模型在黎曼猜想上取得显著进展，提高了该猜想成立解的下界。该模型在一天半内协调60个子代理、测试650个思路、输出约3100万令牌，研究成果由两位公司内部数学家确认并用开源证明助手 Lean 形式化。对开发者和使用者而言，这表明大型模型能在复杂数学问题上进行大规模试验与形式化验证，值得关注但并非已给出最终证明。
对独立开发者和 AI 产品使用者而言，这件事值得关注：大型模型已能组织大量尝试并进行形式化验证，适合用于探索复杂数学思路，但目前还不是可宣称的完整解法。