突发！Claude黎曼猜想最大突破，已被人类数学家验证
突发！Claude黎曼猜想最大突破，已被人类数学家验证Claude证明超67%黎曼zeta零点位于临界线上，数学家Youness Lamzouri随后用更简洁的希尔伯特空间不等式给出了优雅的重新证明，AI工具AxiomProver在数小时内于Lean中完成自动形式化验证。
来自主题: AI技术研报
8037 点击 2026-09-06 11:06
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT