数学被 AI「征服」了吗?网友:证明可自动化,创造新概念仍靠人
_onionesque · x · 2026-09-22
回复 Andrew Wils「数学已被征服而写作不行」的观点:作者认为数学并未被征服——数学不只是常规证明,更是创造新的概念宇宙;LLM 会成为大规模验证的超能力,但创意层面仍是人的领域。他还指出,写作上对 LLM 的抱怨同样适用于数学(证明同样令人头疼)。
所属事件:吴恩达称 AI 快征服数学但写作仍差引热议(2 条相关)→
「漫话AGI」频道最新
- 长期运行 Agent 满地跑时,它们在哪里互相交流、如何确认身份 — repligate · 2026-09-22
- AI 与数学家同台：图灵奖得主 Diffie 直言不在乎知识产权 — thoefler · 2026-09-22
- ScienceBuddy-Jev 0.62 秒答对生化难题,置信度 99.97% — Scobleizer · 2026-09-22
- Hassabis：AGI 之问不该由技术圈回答，离全面 AGI 仅数年 — victor_explore · 2026-09-22
- Meta 研究员：AI 进展像摩尔定律，会持续多年但终有尽头 — rbhar90 · 2026-09-22
- 特斯拉 FSD 老将吐槽：LLM 从业者的工作变成了追柱状图 — yunta_tsai · 2026-09-22