Terence Tao：数学已从证明稀缺进入证明过剩时代
haider1 · x · 2026-11-16
著名数学家 Terence Tao 一句话总结当下：「我们已经从证明稀缺的时代进入了证明过剩的时代。」
他的判断是：机器如今可以大规模暴力破解旧日的标志性难题，「解决问题」作为一种货币已经发生恶性通胀；人类几乎是被逼着转向一种后工业经济——价值不再来自解出问题本身，而在于提出好问题与判断哪些结果重要。
「漫话AGI」频道最新
- 美国 CS 本科注册两年暴跌 18.4%，他押注坚持学基础的人将成大赢家 — bendee983 · 2026-11-16
- Rutger Bregman：AI 否认症正成为左翼的新「气候否认」 — marigo · 2026-11-16
- 「我们教会 AI 写作绘画作曲，社会反应却像中世纪」 — TinfoilTricorn · 2026-11-16
- 经济学家 Daniel Gross：AI 时代「科学繁荣」本身是认识论难题 — soumitrashukla9 · 2026-11-16
- 16641 例临床决策分析：错误 AI 建议对医生的伤害大于正确建议的收益 — ValerioCapraro · 2026-11-16
- 开发者吐槽：比起 AI 灭世，更担心 AI 从业者以「大局」之名作恶 — Dan_Jeffries1 · 2026-11-16