陶哲轩发起 AI × 数论协作挑战：从 Landau–Siegel 零点新证明导出第十判别式有效上界

Terence Tao 10 月 20 日公开发起 Math 2.0 风格的开放协作问题：对近期排除 Landau–Siegel 零点的各种新论证，允许披露 AI 参与，尝试导出假设存在的第十个类数一虚二次数域判别式的显式上界，并比较方法优劣或改进常数。挑战强调自查、可重用的数学理解和非抢先竞赛；可接受没有达到最优界的负结果。其基准类数一问题早已解决，公告是可量化评估 AI 数学推理与协作的新研究挑战，既非新证毕数论定理，也非 Lean 形式化成果。