AI 降低证明成本，数学家将转向提出新猜想
denny_zhou · x · 2026-07-27
在看到一连串关于数学突破的帖子后，作者的女儿问：为什么很多著名猜想都已经提出几十年了，最近有没有新的大问题？
作者借此提出一个判断：当 AI 让“证明”变得更便宜之后，数学家的工作会越来越前移，更多精力会转向提出更深的问题、构造更大胆的新猜想，而不只是完成证明本身。
所属事件:AI 降低证明成本，数学家重心或将转向提出新猜想(3 条相关)→
「漫话AGI」频道最新
- 观点文：AI 陪伴用户更像角色粉圈，不只是孤独人群 — amplifiedamp · 2026-07-27
- 红杉资本：下一个万亿美元AI公司卖的是「服务」而非软件 — aigclink · 2026-07-27
- AI圈被炒作蒙蔽：从LLM互聊到无意义收购 — eptwts · 2026-07-27
- 卫报称 AI 可加速生物学，从疫苗到武器都更快 — nordicinst · 2026-07-27
- 纽约反 AI 侏儒游行把抗议变成离线街头节 — 404 Media · 2026-07-27
- Sarvam AI 联创谈印度 AI 的算力战略优势 — itsOmSarraf_ · 2026-07-27