为什么在纳维-斯托克斯方程之后，我仍然对大型语言模型持看空态度

作者认为前沿实验室按'即将实现知识工作全自动化'的叙事定价，但当前模型在训练任务的小邻域之外容易彻底失败或奖励作弊，纳维-斯托克斯这类纯数学成果依赖定理即严格规约、Lean 验证器经多年审计的最佳条件，无法推广到大多数知识工作。