数学

OpenAIがナビエ–ストークス問題の解法を公開。約1万のAIエージェントが88時間で到達した一方、Clay公式では現在も未解決扱いです。Lean形式証明と外部検証、先行研究を巡る論点を整理します。