機械証明

AIが暴く、流体方程式の新しい不安定点

物理を組み込んだAI（PINNs）で、研究チームがIPM・Boussinesq・Navier–Stokesの三つの流体方程式において新たな不安定特異点を体系的に発見し、方程式の可視化と高精度検証の道を拓きました。