数学家转发 AI 生成的数论证明，自认看不懂却宣称高置信
ValerioCapraro · x · 2026-11-07
行为科学家 Valerio Capraro 在 X 上讲述一件让他觉得「越来越超现实」的事：一位数学家宣布解决了悬置数十年的数论问题「ℤ 是否在 ℚ 中是 Diophantine 的」——即能否用一个多项式方程从有理数中恰好挑出整数。出人意料的是， proposed 答案是 yes（学界原本多预期为 no）。
问题在于：
- 作者本人坦言「我没有专业能力理解这个证明」，却因「高置信」照样公开发布
- 证明未经 Lean 形式化验证
- 配图论文显示构造了一个约 2929 亿个变量的整系数多项式，并声称可推翻 Mazur 猜想等知名推论
Capraro 认为这几乎可以肯定是一个 AI 生成、看起来可信但无人验证过的证明，是所谓「Epistemia」的典型：plausibility（看起来合理）取代了 verification（真正验证）。他指出，过去数学家会因为宣布自己看不懂的证明而羞愧，如今却有短期激励驱动——这类宣布能带来数千粉丝和媒体采访——让这种事变成常态。他在评论中附上了自己关于认识论断层线的论文，深入讨论 Epistemia 现象。
所属事件:数学家借 AI 证明 ℤ 在 ℚ 中是丢番图集(3 条相关)→
「漫话AGI」频道最新
- DeepMind 推出 AGI 经济学研究：百万智能体时代 GDP 增速或仅 4-5% — soumitrashukla9 · 2026-11-07
- Martin Casado 质疑以代码行数衡量 AI 递归自我改进引发争论 — wavefnx · 2026-11-07
- 若能自我改进的 RSI 模型权重泄露，全球将同时跑数千个递归循环 — connoraxiotes · 2026-11-07
- 「世界还没准备好后劳动经济学」：阿兹特克梗图讽 AI 冲击 — Chris_Armstrong · 2026-11-07
- 「Agent 协调人类去端咖啡」：网友吐槽 AI 管理团队的父权味 — sarahdrinkwater · 2026-11-07
- AI 能解 Navier-Stokes 习题,ETH Zürich 改让学生挑战未解开放难题 — JeremyNguyenPhD · 2026-11-07