AIが流体力学の難問として知られるナヴィエ・ストークスミレニアム問題の解法を生成しました。この解法には詳細な解説が含まれ、さらに数学的証明支援システムLeanを用いた厳密な形式証明も提供されています。AIが数学の未解決問題に挑み、その成果を公開したことは、学術界に大きな影響を与えるでしょう。