「AI 清理数学界才刚开始」：两年后 brute-force 问题将扫清
eigenron · x · 2026-10-07
回应「数学是不是要完了」的争论时，作者认为真正变化还没开始：AI 目前只是在清除数学界的「碎片」——做暴力可解的低价果实、去除噪音。他预测两年内这类可暴力求解的问题被扫光后，数学将回归常态，只是研究者手握更强大的工具。
「漫话AGI」频道最新
- AI 投稿期刊数量一年增 5-10 倍,90% 不值得人工审阅 — menhguin · 2026-10-07
- AI agent 一周完成顶尖 Lean 形式化,耗约 30 亿 token、13.5 万美元 — geoffreyirving · 2026-10-07
- 前 OpenAI/Anthropic 研究员：2027-28 年或现自动化 AI 研究员 — rohanpaul_ai · 2026-10-07
- 研究员炮轰 Wired:把史上最大数学突破报道得像反面教材 — Afinetheorem · 2026-10-07
- AI 法律学者谈 Malfoid 争议：有些东西最好别碰 — technollama · 2026-10-07
- 「三年 80% 的数学进展发生在一天里」引热议 — aaron_lou · 2026-10-07