李诞称Agent超长goal driven应用将重构CAD、EDA、Simulink等可验证系统

李诞重申其年初的判断称：Agent 拉满的超长 goal driven 应用方向，是爆破数学 low hanging fruit 和构建超大规模可验证系统，将重构 CAD、EDA、Simulink 等可验证系统。他还称自己 Mac 并行跑 8 个 lean4 就很卡，OpenAI 必然会与数学家合作、投入无限资源。 以上为李诞的个人判断和说法，目前尚无其他来源证实。

AI 根据报道生成 · 59 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。