数学家谈 AI 冲击：多数同行兴奋，受冲击最大的是研究生与博后
_onionesque · x · 2026-10-12
onionesque 在与网友讨论 AI 对数学界的影响时表示：他认识的几十位数学家大多对 AI 感到兴奋，抗拒案例只是例外；真正受冲击的是可能被「看不懂的 AI 证明」抢先的研究生和博士后。
他补充说自己多年来一直在预告这种定理证明场景的到来，并认为布尔巴基式「理论与理解」层面的工作未来也会很有意思——AI 不只是验证证明，还可能参与结构化的数学理解。
「漫话AGI」频道最新
- Hinton 称大脑是模拟系统，LLM 只模拟了智能的输出 — AlexTensor · 2026-10-12
- AI 时代初级工程师怎么成长为资深？行业缺失的一环 — KlausCodes · 2026-10-12
- AI 伦理学者 Rumman Chowdhury 撰文：干 AI 十年，我不怕它 — AlexTensor · 2026-10-12
- Garry Tan 转发观点:个人软件仍是「用完即弃」,自主维护的 Agent 是关键 — garrytan · 2026-10-12
- 「存在性依赖光谱」：从野生到被托管的生存位阶一览 — danfaggella · 2026-10-12
- 评测是学术界最后的活?COLM 参会者反思 benchmark 的隐性权力 — davidjhwu · 2026-10-12