#Lean

2件の記事

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

56年来の数学難問をAIが数百ドルで解いた｜AlphaProof Nexusの衝撃と限界

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