INDEX · KEYWORD

Lean

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

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

2026/9/98分

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

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

2–3 / 全3本

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

2026/9/58分

Claude が 11 日でフェルマーの最終定理の証明を Lean で形式化し、機械検証を通した。依存する公理は 3 つだけ、未証明の穴もなし——ただし自分で全部を再現するには、ピーク 153GB のメモリが要る。

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

2026/8/124分

未公開の研究版Claudeが、ゼータ関数の零点のうち臨界線上にあると証明できる割合の下限を41.6%から67.2%へ引き上げた。リーマン予想は解けていない。注目したいのは記録より、その証明がLeanで形式化され、誰でも手元で通せる形で公開されたことのほうだ。