概念Riemann hypothesis
黎曼假设
关于黎曼ζ函数零点分布的猜想，是数学中最重要的未解决问题之一，被列为千禧年大奖难题。
时间轴 (近 90 天)
10月20日
OpenAI于10月6日宣布了名为“准黎曼证明”的成果，最初包含377篇论文，后扩展至722篇；第一版证明日期为9月30日，显示所有非平凡零点位于1/8到7/8之间并在Lean中形式化验证；第二版日期为10月5日，用49页证明了更弱的1/12到11/12边界。
待验证50%
9月9日
截至文章发布,AI尚未真正证明黎曼假设
待验证50%