AI 生成数学爆发:大量反例涌现,连 87 年前的雅可比猜想都被击破
burny_tech · x · 2026-09-25
作者盘点 AI 生成数学成果的爆发式增长：X 上出现大量声称用 AI 找到公开猜想反例的帖子，其中已收录 200+ 条 AI 辅助数学成果的可检索索引，真假混杂。
- 已有标志性案例：AI 找到 87 年未解的雅可比猜想的反例、多个长期开放问题被声称解决、Xena 项目与 OpenAI 盘点的十项数学/理论计算机科学进展等。
- 文章聚焦两个最大亮点：Erdős 单位……(原文截断)
- 核心观察：数学界部分领域正被 AI 生成结果「攻陷」，人类数学家在找反例这件事上开始被 AI 超越，社区亟需甄别真伪的机制。
所属事件:AI 生成数学成果爆发，雅可比猜想也现反例(2 条相关)→
「研究」频道最新
- 可解释性圈热议:NLA 输出信任度类比相关性读出 — thebasepoint · 2026-09-27
- Anthropic AI 生物实验室用约 950 个智能体发现类 CRISPR 病毒 DNA — rvp · 2026-09-27
- NYU 教授 Andrew G. Wilson:灌水论文泛滥或让 ML 界重新珍视深度与质量 — andrewgwils · 2026-09-27
- AIES 2026 论文:Agent 开发者重商业风险、轻就业隐私冲击 — scyrusk · 2026-09-27
- 学者担忧：实验室多智能体 RL 配置不透明，研究界无法审计 — dhadfieldmenell · 2026-09-27
- Anthropic 用 AI agent 扫描 19 亿蛋白质，发现 3 种候选新酶 — rvp · 2026-09-27