李诞：Agent 拉满的超长 goal driven 应用将重构 CAD、EDA、Simulink 等可验证系统
Agent的力量拉满的超长goal driven应用，我在2026年年初就说过了，一个是爆破数学low hanging fruit，一个是构建超大规模的可验证系统。 数学就是这种最小的系统...
AI 导读
李诞重申其年初判断：Agent 拉满的超长 goal driven 应用方向是爆破数学 low hanging fruit 和构建超大规模可验证系统，并称自己 Mac 并行跑 8 个 lean4 就很卡，OpenAI 必然会与数学家合作、投入无限资源。
来源：李诞zzz (@lidangzzz) · x.com