#Lean

3件の記事

2026年9月8日、OpenAIが1万のAIエージェントを88時間使いナビエ・ストークス問題を証明。浮上したAnthropicの研究者への「共著排除」提案と100万ドル賞辞退の全経緯。

Claudeが37年ぶりに数学記録を更新｜リーマン予想の下界67.2%の意味と限界

未公開Claudeがリーマン予想のゼータ関数零点下界を41.6%から67.2%へ37年ぶり更新。60体サブエージェントと「諦めないで」が生んだ1.5日間の全容と限界を解説する。

DeepMindのAlphaProof NexusがLean形式証明でエルデシュ問題を9問自律解決。数学AIの転換点を批判・限界も含めて解説する。