「一切可验证之物终将被自动化」，数学研究者的机会在自动化本身
thoefler · x · 2026-09-28
作者提出「一切可验证的事物都会被自动化」。数学远不止证明定理；对年轻研究人员来说，机会在于构建自动化系统、撰写规格说明，以及开发验证工具。文末附其 HLF spark 演讲链接。
「漫话AGI」频道最新
- Yoav Goldberg 质疑:新模型发布两周 arXiv 已涌现 29 篇论文 — yoavgo · 2026-09-28
- 立党称中国做不出 personal agent,苏靖深反驳:缺的是权限分寸 — sujingshen · 2026-09-28
- MIT Tech Review：「AI 工作垃圾」时代，品味比产量更值钱 — Olivier__OG · 2026-09-28
- 印度银行靠低息存款年赚200亿美元,AI Agent或终结这门生意 — srimisra · 2026-09-28
- AI 安全圈为何人人相识：专家稀缺造就 EA 密集关系网 — burny_tech · 2026-09-28
- 为什么数学要过几年才突然懂了:几何直觉藏在符号之下 — techNmak · 2026-09-28