投资人放话:所有数学将被形式化,纯数学沦为应用数学
Justin_Halford_ · x · 2026-09-05
Justin Halford 回应 patio11 时抛出激进预测:所有数学终将被形式化,其前沿将由 AI 自主推进,「纯数学将变成应用数学」。他呼吁人们不要再对「刺眼到尖叫的指数增长」犹疑对冲——即不应低估 AI 能力的指数级进展对数学研究范式的冲击。
「漫话AGI」频道最新
- Jeff Ladish 用外星文明类比当前 AI 局势：我们正主动暴露自己 — JeffLadish · 2026-09-05
- 当年宫本茂 10 人两年做出的超级马里奥世界，AI 现在一小时搞定 — HankYeomans · 2026-09-05
- DCinvestor：未来只值钱「能动性、批判性思维与社交力」，高智商宅将失宠 — vaibhavbetter · 2026-09-05
- 读懂AI未来该读科斯哈耶克,而非AI意见领袖 — akbirthko · 2026-09-05
- OpenAI 内部视 Astra 发布为 AGI 时代起点，工程师谈奇点与贫富差距 — oran_ge · 2026-09-05
- 智能体会用OpenAI蜜罐留言板吗?像考试传小抄的博弈 — BobVerison · 2026-09-05