Anthropic未发布模型在黎曼猜想上取得进展
摘要
币行吧报道： Anthropic披露，一款尚未发布的模型在黎曼猜想研究中取得进展。该结果由公司内部数...
币行吧报道：
Anthropic披露，一款尚未发布的模型在黎曼猜想研究中取得进展。该结果由公司内部数学家确认，并用开源证明助手 Lean 形式化。
模型如何推进
模型由一名数学训练背景不深的员工发起测试，随后在约一天半时间里持续协作。Anthropic称，这个过程共测试了 650 种思路，并调用 60 个子代理分工处理。
具体分工
- 2 个子代理负责提出关键数学思路
- 13 个子代理向关键思路补充想法
- 13 个子代理负责校验推理正确性
学界反应分化
这类结果正在增加。OpenAI 近期也公布了内部模型证明的 10 项重要数学结果，Anthropic 另一个项目此前还推翻了长期存在的 Jacobian 猜想。随着成果增多，数学界对 AI 参与证明的讨论也在升温。
补充信息：黎曼猜想至今仍未被证明，外界曾为其设立 100 万美元奖金。
评论 (5)
OpenAI也有成果，AI参与证明成果增多，以后数学研究得重新洗牌了。
Anthropic这模型还没发布就有进展，要是发布了，还不得在数学界掀起巨浪。
这AI挺厉害啊，没训练背景的员工发起测试都能有进展，看来以后数学研究有新方向了。
才一天半，测试650种思路，还调用子代理分工，这效率比人高太多，靠谱不？
数学界讨论升温是好事，不过这黎曼猜想奖金100万，最后算谁的啊。