#
#数学AI
3件の記事
AI News
Claudeが37年ぶりに数学記録を更新｜リーマン予想の下界67.2%の意味と限界
未公開Claudeがリーマン予想のゼータ関数零点下界を41.6%から67.2%へ37年ぶり更新。60体サブエージェントと「諦めないで」が生んだ1.5日間の全容と限界を解説する。
#Anthropic#Claude#リーマン予想#数学AI
AI News
OpenAI Astra（GPT-6候補）：未解決数学10問をLean 4証明付きで解決
OpenAIが2026年8月1日に発表したAstraが非ソフィック群の初構成など27年来の問題を含む10本の証明をLean 4で形式化。ライデン宣言との緊張と政府審査の全貌を解説する。
#OpenAI#Astra#数学AI#AIエージェント
AI News
56年来の数学難問をAIが数百ドルで解いた｜AlphaProof Nexusの衝撃と限界
DeepMindのAlphaProof NexusがLean形式証明でエルデシュ問題を9問自律解決。数学AIの転換点を批判・限界も含めて解説する。
#Google DeepMind#AlphaProof#形式証明#Lean
