当 AI 能证明人类看不懂的定理,数学还剩下什么
ugail · x · 2026-09-21
作者讲述了黎曼 1859 年提出的 ζ 函数零点假设——百余年来历代顶尖数学家均未攻克——如今机器学习正在进入这个领域。作者自述其团队在训练神经网络学习 ζ 零点的结构,并指出 AI 已能在 ζ 零点中发现模式、生成猜想、产出人类无法从头到尾读懂的证明。他提出一个开放式问题:当机器能建立人类无法理解的真理时,数学的本质是什么?人类的角色又是什么?
「漫话AGI」频道最新
- 为躲开 Claude 冲击，工程师拒了 10 万美元远程 offer — sharpeye_wnl · 2026-09-21
- 人类体验 vs 昆虫体验价值差多少？AI 道德地位激辩升温 — AaronBergman18 · 2026-09-21
- 九成代码将由 LLM 编写，但人类指令量反而会持续膨胀 — timigod · 2026-09-21
- ICLR 2027 起的灵魂拷问：努力的到底是作者还是 Agent？ — MuCai7 · 2026-09-21
- 代码还得人读吗：自动化时代人类如何保留主导权之争 — zetalyrae · 2026-09-21
- 黄仁勋称 AI 灭绝人类概率为零，暗讽末日论另有用心 — mark_k · 2026-09-21