05:35
Gary Marcus@GaryMarcus
Gary Marcus@GaryMarcus精选
推荐理由：Gorard团队实测了GPT-5.6、Fable 5等模型，发现它们连基础非线性PDE都解不对，而Lanyon用更少token就能搞定，想了解模型短板可以看看。
Lanyon
共 1 条相关 AI 资讯
8月4日
05:35
Jonathan Gorard在X平台发文指出，包括GPT-5.6 Sol、Fable 5和Kimi K3在内的前沿AI模型，在实现基本非线性PDE求解器时普遍失败，常引入数值稳定性、精度阶数或物理一致性方面的显著错误，即使给出详细提示并要求用Lean形式化实现也是如此。即使成功的案例中，较可靠的模型如Fable 5也常消耗超过Lanyon这类轻量神经符号模型100倍的token。其团队认为，只有像Lanyon这样的真正神经符号模型才能为复杂科学问题生成具有端到端正确性保证的超可靠数值求解器，且目前差距明显。