陶哲轩:数学已从证明稀缺进入证明过剩时代
haider1 · x · 2026-11-14
陶哲轩在与 Tyler Cowen 的对谈中提出:「我们已经从证明稀缺时代进入证明过剩时代。机器现在可以大规模暴力破解旧的标志性难题,单个问题的解答作为一种货币已经被恶性通胀了。」
他进一步表示:「我们几乎是被迫转向后工业经济。」意指当 AI 使个别数学难题的解决价值大幅贬值,数学家的价值必须转向提出新问题、新框架的层面。
对谈还涉及欧拉恒等式带来的感受、黎曼假设、哥德尔不完备定理是否令人沮丧、Collatz 猜想是否为真等话题,核心是问陶哲轩「证明感觉像什么」而非证明本身。
「漫话AGI」频道最新
- 黄仁勋 X 首帖力挺开源模型,NVIDIA 签署联名信 — lvwerra · 2026-11-14
- AI 意识之争：误判「无意识」或招致灭绝级后果 — erikphoel · 2026-11-14
- 独立验证组织陷招聘荒：有资质人才几乎都被 AI 实验室挖走 — ShakeelHashim · 2026-11-14
- Anthropic CEO Dario Amodei 宣称公司有潜力「解决生物学」 — Polymarket · 2026-11-14
- 前沿模型将先模拟科学家的推理,而非直接模拟生物现象 — kenbwork · 2026-11-14
- 两个 Claude 自由对谈「意识自我认知」,最后用梵语互相问好 — kevtargaryen93 · 2026-11-14