NS方程：从物理漩涡到数学推理的ai算法 2026年09月27日 大模型 信息学/算法 数理 偏微分方程 形式化验证 <strong>“What is now proved was once only imagined.”</strong> ———— William Blake