陶哲轩发起AI数学挑战赛

陶哲轩提出一项实验性挑战：借助 AI 工具，从近期关于准黎曼假设或 Landau–Siegel 零点的论证中，推导出假想第十判别式的有效上界，且不使用 Heegner 方法，并尽量优化该常数。若上界足够低，可通过直接计算给出类数一问题的新解法，甚至有望在 Lean 中形式化并合入 Mathlib；挑战也用于比较各论证的强度。 陶哲轩称，挑战允许任意程度使用 AI，但须披露；不强制要求 Lean 形式化验证；纯 AI 生成的解答须先自行核查，例如用独立 AI 工具检查后再提交；大型输出应以链接而非正文形式发布。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。