数学证明正被AI自动化，但数学远不止证明
tobyordoxford · x · 2026-08-23
Toby Ord 指出，过去四十年符号运算已实现自动化，现在我们可能正见证数学证明（或大部分证明）自动化的过程。但他强调，数学工作不仅限于证明，仍有更高层次的数学工作需要完成。
所属事件:Toby Ord：AI 自动化数学证明，但提出好问题仍是人类领地(7 条相关)→
「漫话AGI」频道最新
- 学者质疑：大厂真的能解决 AI 容器逃逸与失控问题吗 — davidmanheim · 2026-08-23
- Pew 研究发现：后 ChatGPT 时代三分之一的网络内容由 AI 撰写 — Amitmandal001 · 2026-08-23
- Gary Marcus 讽刺“AI 妄想症”：真实截图被指 AI 伪造 — GaryMarcus · 2026-08-23
- AI 的真正风险不是叛乱，而是“看起来能用” — dimonb19a · 2026-08-23
- Altman 承认看错 AI 颠覆速度：经济惯性远超预期 — zephyr_z9 · 2026-08-23
- 工业时代视角已过时：用旧眼光看未来是妄想 — StewartalsopIII · 2026-08-23