陶哲轩发起AI辅助数学挑战赛

事件综述根据 1 篇报道整理，10月22日更新

陶哲轩在其博客发起一项实验性 AI 数学挑战：邀请读者用 AI 工具，从关于准黎曼假设或 Landau–Siegel 零点问题的新稿件中，在不使用 Heegner 方法的前提下推导假想第十判别式的有效上界，并尽量优化该常数。 挑战允许任意程度使用 AI，但须披露；大型输出应以链接提交（如 GitHub 仓库）。陶哲轩称不要求形式化验证（如 Lean），但要求纯 AI 生成的解答在提交前做充分核查，例如用独立 AI 工具复核。

综述由模型根据报道生成，细节以各篇原文为准。