若 LLM 只会解存在性问题，数学界或仍难大变
JFPuget · x · 2026-07-24
回复认为，如果 LLM 只能处理“存在性”问题、却依然做不好“全称性”命题，那么数学学术界未必会被根本改变。
可能出现的变化是：
- 猜想会变少
- 负结果更少进入同行评审
但作者的判断是，数学研究的整体结构和支撑它的理由，大体仍会延续。
「漫话AGI」频道最新
- NeurIPS 2026 workshop 聚焦 AI 生物方向失败模式 — anshulkundaje · 2026-07-24
- Metascience 可能重塑科学核心，但不会取代它 — anshulkundaje · 2026-07-24
- 前沿模型仍依赖稳定的大学科研与全球人才流动 — anshulkundaje · 2026-07-24
- AI 行业吸走教授，科研经费收缩加剧学界空心化 — ruthstarkman · 2026-07-24
- Token 效率的关键不在实现，而在搜索和验证 — yunta_tsai · 2026-07-24
- 作者称可越狱、可匿名的前沿开源模型很快会变得危险 — Afinetheorem · 2026-07-24