AI逻辑的蛮力方法确实遇到了瓶颈

老实说，我受够了这种论调：认为只要给自回归模型投喂足够多的GPU和数据，它终将觉醒并真正理解形式数学。当然，它能够生成一个React组件。但当你需要绝对正确、不容丝毫偏差时，整个下一个词预测的假象就会崩塌。我最近读到像Aleph这样的系统如何攻克大规模形式推理基准测试，其底层技术实际上必须依赖严格的数学验证，而不是仅仅猜测最听起来合理的文本序列。如果我们认为标准的大型语言模型能够在行业从根本上改变这些架构先自我验证逻辑之前，安全地运行关键基础设施，那绝对是在自欺欺人。