近期，硅谷著名投资人、Y Combinator 联合创始人 Paul Graham 在 X 平台密集发声，围绕 AI 创业、投资策略和工具范式发表了一系列观点，引发关注。
当前焦点集中在 AI 创业从软件转向硬科技的迹象——Sam Altman 推动 YC 加大硬科技投资，Graham 对此表示赞同，并持续鼓励创业者前往硅谷。（Sam Altman 推动 YC 转向硬科技，Paul Graham 点赞、Paul Graham：有抱负的创业者都该去硅谷待一阵）
未来值得观察的是，这些观点能否成为新一轮 AI 创业潮的风向标，尤其是形式化方法与 LLM 生产化如何具体结合。