Rex Douglass:数学可能比很多人想的更易被自动化
RexDouglass · x · 2026-07-27
作者表示,在和数学家讨论“LLM 到底会怎样影响数学”之后,他反而更觉得数学可能比想象中更容易被自动化冲击。
他的核心理由是:数学界很多流程本质上仍然高度依赖人;只要 AI 能去掉哪怕一小部分人为摩擦,就可能显著加速进展。
「漫话AGI」频道最新
- Sam Altman 说他想要一种“新型电脑” — ns123abc · 2026-07-27
- Alexandr Wang:要为未来建立自己的内在罗盘 — garrytan · 2026-07-27
- Chr Szegedy 探讨递归自我改善前的算法进展 — ChrSzegedy · 2026-07-27
- 游戏可能是最不适合交给 Agent 的软件 — petergyang · 2026-07-27
- LLM 自动化将把研究市场里的冗余挤出局 — RexDouglass · 2026-07-27
- 一套新框架把数学正确性拆成七个维度 — RexDouglass · 2026-07-27