Wolfram 长文:AI 时代纯数学研究还有未来吗
davilagrau · x · 2026-09-29
Stephen Wolfram 撰文回应「AI 能解题,是否还需要人类做数学研究」的流行论调,称这类说法常误解了数学和 AI 的本质:
- 历史参照:1988 年 Mathematica 发布时也有「数学要被取代」的声音,结果它只是抬高了可做的数学层次,并催生大量新数学
- 数学是什么:AI 擅长生成与验证计算,但形式化(formalization)本身既是能力也是瓶颈;把直觉变成形式证明是核心难题
- AI 能做什么:自动定理证明、问题求解、开放式探索、甚至提出新数学概念——AI 更可能成为数学家的「高层次语言」而非替代者
- 为何还要人做纯数学:数学的目标与美学无法被外包;人类提出问题与概念的方向仍是不可替代的一环
「漫话AGI」频道最新
- a16z 播客观点:LLM 足够聪明,问题是没被造成为软件里的可靠组件 — venturetwins · 2026-09-29
- 信任技术还是制度?旧金山与华盛顿 AI 治理念争的核心分歧 — RishiBommasani · 2026-09-29
- Nabeel Qureshi：脑机上传是不是「你」等哲学问题即将变成现实 — nabeelqu · 2026-09-29
- 贝莱德新报告：AI Agent 可用稳定币自动购买数据与算力 — mhdfaran · 2026-09-29
- 算力无法优化我们还没学会度量的问题 — demian_ai · 2026-09-29
- Nina Schick：民主的最大威胁不是超级智能，而是能力不对称 — NinaDSchick · 2026-09-29