未经证实的说法：Claude据称在黎曼猜想上取得进展
文章声称，Anthropic旗下模型Claude证明了ζ函数的67.25%零点位于临界线上，且为单零点。文章还称，数学家Youness Lamzouri利用希尔伯特空间不等式简化了相关方法，AxiomProver则在发布后不久通过Lean完成了形式化验证。此外，文中还宣称孪生素数猜想取得进展。上述叙述高度煽情，未提供可核实的来源或独立确认。黎曼猜想目前仍是未解决问题，所谓完整的机器验证也应接受严格审查。
本文来源：AIbase，仅供学习参考，版权归原作者所有。