用第十判别式界探索排除 Landau–Siegel 零点的论证：一项 AI 辅助数学挑战

Terence Tao 提出一项实验性挑战：借助 AI 工具，从近期关于准黎曼假设或 Landau–Siegel 零点的论证中，推导出假想第十判别式的有效上界，且不使用 Heegner 方法，并尽量优化该常数。若上界足够低，可通过直接计算给出类数一问题的新解法，甚至有望在 Lean 中形式化并合入 Mathlib。挑战也用于比较各论证的强度，并鼓励提交可人工验证或仅用本科数学工具的简洁论证。