https://ai.appwright.xyz/tags/ai%E6%95%B0%E5%AD%A6/ Recent content in AI数学 on Appwright AI Hugo en-US Sun, 02 Aug 2026 07:00:00 +0800 https://ai.appwright.xyz/posts/2026-08-02-openai-astra-ten-math-proofs/ Sun, 02 Aug 2026 07:00:00 +0800 https://ai.appwright.xyz/posts/2026-08-02-openai-astra-ten-math-proofs/ OpenAIが8月1日に発表した次期モデルファミリー「Astra」は、10年以上未解決だった数学・理論計算機科学の問題10件を約$2,000のトークンコストで解決した。非ソフィック群の構成、Connes剛性予想の反証、球充填のCohn–Elkies閾値到達など、各証明はLean 4で機械検証可能な証明書としてGitHub公開。AI数学ドキュメンタリー第4脚として、検証可能性が信頼を作る時代の構造を分析する。