【速報】Microsoft、31年来の数学難問「KLS予想」を解決
Microsoftは2026年10月21日(現地時間)、長年未解決だった数学の難問「Kannan–Lovász–Simonovits (KLS) 予想」を解決したと発表した。同社の研究者と協力者が、新しい数学的概念と人間主導のAIを組み合わせることで証明を完成させた。KLS予想は高次元幾何学における中心的な問いであり、統計学、最適化、アルゴリズム、コンピューターサイエンスに広範な影響を及ぼす。
Tag
#数学
6 件の関連記事
OpenAI、数学未解決問題90問超を解決 Anthropicは宗教指導者と連携
OpenAIは2026年10月8日(現地時間)、数学の主要な未解決問題500問のうち90問以上を含む多数の問題を解決したと発表した。これは数学史上で特筆すべき出来事と評価されている。同日にはClaude Haiku 5.5も発表され、その価格設定から将来性が期待されている。
OpenAI、数学論文722本公開 未解決問題90件解決と評価
OpenAIは2026年10月6日(現地時間)、内部の数学モデルが生成した722本の数学論文を公開した。これらはGitHubリポジトリで公表され、未解決の数学問題トップ500のうち90件を解決したと評価されている。Anthropicの競合からは「数学史上最も重要な瞬間」との見方が示された。
OpenAI、次期モデル「Astra」を発表 未解決数学問題10問を機械検証済みで解決
OpenAIは2026年8月2日(現地時間)、次期主要モデルとなる「Astra」が、少なくとも10年間未解決であった数学および理論計算機科学の10問に対し、新たな結果を生成し、機械検証可能な証明を公開したと発表した。同社は249ページに及ぶ原稿集、モデルによる推論ウォークスルー、およびLean 4による証明書を公開している。証明書はGitHub上でApache 2.0ライセンスの下で利用可能となっている。
OpenAI、次世代AIモデル「Astra」発表 未解決数学問題10件を解決
OpenAIは2026年8月1日(現地時間)、次世代AIモデルファミリー「アストラ (Astra)」を発表しました。Astraは長時間タスクと複雑な問題に対応するよう設計され、数学および理論計算機科学の未解決問題10件を解決したとされます。同社は、解決した証明を形式化言語リーン (Lean) で公開し、機械検証を可能にしました。これらの解決にかかる推論コストは、既存モデルSolのAPIレートで約2,000ドルに相当するとされています。
OpenAI、数学・計算機科学の10問題で進展を発表
OpenAIは2026年8月1日(現地時間)、数学および理論計算機科学分野で長年にわたり未解決だった10の主要問題に対し、新たな研究成果を発表した。これらの成果は、開発中の大規模言語モデル「アストラ (Astra)」の内部バージョンを用いて達成されたという。