陶哲轩发起 AI 辅助挑战:用 AI 复审高斯经典数论问题
robleclerc · x · 2026-10-21
陶哲轩宣布一项协作式数学挑战,将近期关于 Landau–Siegel 零点的 AI 生成论证与高斯的经典数论问题联系起来。他提出的不是让 AI 去攻克新的公开猜想,而是一个不同寻常的实验:用 AI 检验、比较并强化一条已被证明的定理的论证过程。
问题涉及虚二次域中整数环满足唯一分解的九个正整数:1, 2, 3, 7, 11, 19, 43, 67, 163（即类数一问题相关的 Heegner 数）。
转发评论认为,陶哲轩对 AI 的态度已从愤怒、讨价还价、沮丧走到接纳,「下一代会回头看,把这当作微积分前时代」。
「漫话AGI」频道最新
- 报告警告：数据中心投机债务被打包卖给养老金，堪比次贷泡沫 — SumitGup · 2026-10-21
- Stripe 新毕业生生存指南：做不了模型的肉代理 — emilygsands · 2026-10-21
- 当机械论解释失效：神经科学家反思何谓「理解」复杂系统 — burny_tech · 2026-10-21
- 神经科学家也卡壳：复杂行为难以获得机制性解释 — burny_tech · 2026-10-21
- NBER 研究：近 30% 美国 STEM 博士论文摘要已由 AI 生成 — lmoroney · 2026-10-21
- Wabi 2.0 预览引热议：多线程编排范式被赞切中个人 Agent 痛点 — joonasvirtanen · 2026-10-21