AI 碾压数学猜想证明,研究者称学术数学或已实质死亡
secemp9 · x · 2026-09-09
博主 doomslide 转发评论称:错误猜想的反例数量远多于正确猜想的证明,AI 正以前所未有的速度批量推翻数学猜想。他认为等这一消息传到公众面前时,学术数学可能已经"实质死亡",研究者的"大逃离"已经开始。这是对 AI 冲击纯数学研究生态的一则悲观判断,呼应近期 OpenAI 等模型在数学难题上的突破引发的行业震荡。
「漫话AGI」频道最新
- Guodzh:智能革命已至,但这是一场非零和博弈,胜负远未定 — Guodzh · 2026-09-09
- OpenAI 宣称 AI 攻克 Navier-Stokes 千禧年难题:万级 Agent 88 小时出证明 — PanParagraf · 2026-09-09
- Quintin Pope:网络犯罪用 AI 比失控实验室模型威胁更大 — QuintinPope5 · 2026-09-09
- Quintin Pope 反对 AI-2027 式叙事:历史难以被编成预测故事 — QuintinPope5 · 2026-09-09
- 艺术家感慨:AI 带来发现,我们却看不懂答案就照用 — sterlingcrispin · 2026-09-09
- 数学家 littmath 炮轰科学奖项:庞加莱猜想的教训是废除奖金 — littmath · 2026-09-09