INDEX · KEYWORD

Navier-Stokes

「Navier-Stokes」に関連する公開記事をまとめています。

Deep Diveテクノロジーと道具未来生活ブリーフ

2026/9/98分

OpenAI が 88 時間で出した Navier-Stokes の証明を、まだ誰も見ていない

1 万体のエージェントが 88 時間で出したとされる証明は公開されていない。一方で、自費でツール代を払っていた数学者 2 人の結果は Lean を通り、公開されている。個人が道具に未完成の仕事を預けるとき、何が手元に残るのかを読む。