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

布朗大学 PL 领域学者 Shriram Krishnamurthi 认为，学界与工程界应利用 AI 资金涌入的机会，优先投入可形式化验证的完整软硬件栈。他将这一机会比作早期 Uber，但认为其潜在收益高出百倍，并主张以此留下长期公共价值，而非追求短期套利。