布朗大学教授:应趁 AI 资金狂潮最大化产出可验证的软硬件栈

iskander · x · 2026-10-24

布朗大学 PL 领域知名学者 Shriram Krishnamurthi（ShriramKMurthi）发观点称：当前 AI 资金如「金钱大炮」般涌入，学界与工程界应最大化从中获取的可验证成果（proof）。

他以早期 Uber 作类比——但认为 AI 的收益实在百倍：一个完全经过形式化验证的软硬件栈（fully-verified hw+sw stack）是「人人可共享而无需分割的黄金」，是几十年一遇的机会窗口。核心主张是把这波算力与资金红利投向能留下长期公共价值的严格验证工作，而非短期套利。