【速報】Anthropic研究者Levent Alpögeが3D非圧縮性オイラー方程式の有限時間爆発をClaude活用でLean形式証明 — OpenAIがナビエ-ストークス完全解決を主張し信用争いが勃発、Terence Taoは「remarkable achievement」と評価
9月8日にNYU数学者Tristan BuckmasterとAnthropic研究者Levent Alpögeが、3D非圧縮性オイラー方程式・2Dブシネスク方程式・非圧縮性多孔質媒体方程式の3つの有限時間爆発証明をLean形式検証付きでプレプリント公開。Claudeを使用してCórdoba-Martínez-