lanyonai 演示：单条提示生成可验证 GPU 流体求解器，8 卡 5 分钟跑完

lanyonai 演示了用一条自然语言提示让 AI 生成可压缩流体力学的求解器，并通过形式化验证确认其正确性，随后在 8 块 GPU 上跑超高分辨率模拟。写求解器并证明正确性约 2 分钟，模拟运行 5 分钟，可捕捉激波与稀疏波相互作用。