Gowers 认为 LLM 还没消灭数学家的私家技巧
AlexKontorovich · x · 2026-07-26
一位数学家转述观点称，很多数学家都有多年积累出来的“私家技巧”，而他使用 LLM 的经验表明，这些技巧目前还没有被 AI 消灭。
这更像是在讨论 LLM 对数学工作方式的真实影响：模型已经能帮上忙，但还远没到让人类长期形成的方法论失效的程度。
「漫话AGI」频道最新
- AI 竞赛里的持久护城河可能只剩能源和信息 — GregKamradt · 2026-07-27
- 有人主张先造 AGI，再把它开源 — wordgrammer · 2026-07-27
- Jason Crawford 说 AI 不该只谈对齐，而该守法守伦理 — Afinetheorem · 2026-07-27
- OpenAI 和 Anthropic 证明没人知道 agentic AI 下一步 — shashib · 2026-07-27
- 长文主张：开放模型是保护人的 AI 未来关键 — VoidStateKate · 2026-07-27
- 作者称 AI 的“临时暂停”最终大概率会变成永久措施 — wordgrammer · 2026-07-27