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

Anthropic披露，一款尚未发布的模型在黎曼猜想研究中取得进展，结果由公司内部数学家确认，并用开源证明助手 Lean 形式化。该模型由一名数学训练背景不深的员工发起测试，经过约一天半的持续协作，测试了 650 种思路，并调用 60 个子代理分工处理。具体分工包括 2 个子代理负责提出关键数学思路，13 个子代理向关键思路补充想法，13 个子代理负责校验推理正确性。随着此类结果的增加，数学界对 AI 参与证明的讨论也在升温。OpenAI 近期公布了内部模型证明的 10 项重要数学结果，Anthropic 另一个项目还推翻了长期存在的 Jacobian 猜想。黎曼猜想至今仍未被证明，外界曾为其设立 100 万美元奖金。

本内容仅供参考，不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息，不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性，存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。