数学家借 AI 证明 ℤ 在 ℚ 中是丢番图集

数学家 Elliot Glazer 发布论文《Z is Diophantine in Q》，在 AI 模型（Astra 与 Claude）重度辅助下证明整数集 ℤ 在有理数域 ℚ 中是丢番图集，构造出的整系数多项式包含数亿量级变量。这是悬置数十年的数论问题的重要进展，不过行为科学家 Valerio Capraro 转发时表示，有数学家坦言看不懂这一 AI 生成的证明却宣称对其有高置信度，令事件显得「超现实」，也折射出 AI 参与数学证明带来的验证与信任难题。

2026-11-06 ~ 2026-11-07 · 3 条相关

• AI 助力证明 ℤ 在 ℚ 上是 Diophantine，多项式含 2.9 亿变量 — littmath · 2026-11-06
• AI 重度辅助下数学家证明 Z 在 Q 中是丢番图集，多项式含 2929 亿变量 — pickover · 2026-11-06
• 数学家转发 AI 生成的数论证明，自认看不懂却宣称高置信 — ValerioCapraro · 2026-11-07