问小创
告诉我你的需求，我帮你从站内挑最合适的 AI 工具。
近日，AI公司Anthropic旗下一款尚未对外发布的大语言模型，在由数学家黎曼提出、已有150余年历史的数学界顶级未解难题黎曼猜想的研究中取得超出行业预期的重要进展。尽管尚未完全证明该猜想，但此次突破进一步验证了大模型在基础科学研究领域的应用潜力，也为AI辅助前沿理论研究提供了新的可行路径。
作为1859年由德国数学家波恩哈德·黎曼提出的数论核心猜想，黎曼猜想自诞生以来的160余年间，一直被视为纯数学领域最难攻克的谜题之一，也是美国克雷数学研究所悬赏百万美元的千禧年七大数学难题之一。此前全球范围内已有数十位顶尖数学家尝试给出完整证明，均未得到学界公认。
此次Anthropic未对外公开的新模型，并未直接给出黎曼猜想的完整证明，而是在黎曼ζ函数非平凡零点的分布规律验证上，完成了此前需要顶级超算连续运行3个月才能完成的计算量，同时还推导得出3种此前学界未曾提出的假设验证路径，相关测试结果已经得到了数论领域多位研究者的初步认可。
事实上，头部大模型厂商过去两年已经开始密集布局基础科学研究方向的能力迭代：DeepMind推出的AlphaFold系列已经解决了蛋白质结构预测的行业难题，OpenAI最新的GPT-4o模型也在量子化学模拟、材料科学推演场景实现了落地。
和此前行业普遍依靠提升参数规模堆算力的路径不同，Anthropic此次能力升级并未扩张模型参数规模，而是通过优化符号推理引擎的架构，大幅提升了大模型处理长链逻辑、抽象数学符号的能力，这也为大模型迭代提供了新的技术方向。
对于此次进展，数学界普遍给出了谨慎乐观的评价。多位数论研究者表示，黎曼猜想的证明需要极具创造性的理论框架搭建，目前大模型还不具备这种级别的原创能力，但可以承担大量重复推演、规律验证的工作，帮数学家节省数月甚至数年的基础工作时间。
据了解，目前已有包括普林斯顿大学、巴黎高等师范学院在内的多个顶尖数学研究团队，正在和Anthropic接洽合作，计划用这款未发布的模型辅助其他数论猜想的验证工作。业内预计，未来3-5年，大模型会成为数学、物理等基础科学领域的标配辅助工具，大幅缩短前沿研究的试错周期。
本文基于公开信息分析整理，仅供参考。更多AI工具动态与行业解读，请持续关注本站更新。
滇公网安备 53252802528133号