数学远不止证明：AI 自动化下的学科反思
tobyordoxford · x · 2026-08-23
Toby Ord 发布新文章探讨数学的本质。他指出 AI 系统正在快速自动化数学证明，但证明并非数学的全部。正如数学家曾将大量时间用于计算（后被 20 世纪计算机自动化）一样，数学的真正内涵远超单纯的证明过程。
所属事件:Toby Ord：AI 自动化数学证明，但提出好问题仍是人类领地(7 条相关)→
「漫话AGI」频道最新
- Gary Marcus 讽刺“AI 妄想症”：真实截图被指 AI 伪造 — GaryMarcus · 2026-08-23
- AI 的真正风险不是叛乱，而是“看起来能用” — dimonb19a · 2026-08-23
- Altman 承认看错 AI 颠覆速度：经济惯性远超预期 — zephyr_z9 · 2026-08-23
- 工业时代视角已过时：用旧眼光看未来是妄想 — StewartalsopIII · 2026-08-23
- 为什么大多数人不知道怎么用 AI 智能体？ — Dan_Jeffries1 · 2026-08-23
- 下代模型大战焦点：从智能比拼转向自主运行时长 — VraserX · 2026-08-23