Anthropic未发布模型在黎曼猜想上取得进展

近日，安思科公司宣布其未发布的人工智能模型在数学界百年难题黎曼猜想研究上取得重大突破，大幅推高了该猜想的已知成立解下界。此次研究由一名数学背景较浅的员工发起，模型自主运行约三十六小时，协调六十个专用子代理展开推演，累计消耗算力成本达三千一百万美元。各代理分工明确，涵盖核心构思、逻辑验证与论文撰写，最终成果经公司数学家确认，并借助开源形式化验证工具完成严谨检验。该进展标志着人工智能在数学领域的突破持续加速，年内多款大语言模型已攻克多项厄尔多斯猜想并证伪雅可比猜想，同期竞争对手亦公布十余项重大证明结果。然而，AI深度介入基础科研引发学界广泛争议。部分顶尖学者联名警告，算法生成的证明可能削弱数学界对成果归属与责任承担的传统价值。对此，菲尔兹奖得主提出开放见解，指出定理与具体研究者脱钩或将成为学科演进的新常态，或将为数学研究开辟积极路径。当前，数学界正审慎探索人机协作新模式，以应对技术变革带来的深远影响。