OpenAIの次期モデル「Astra」が、10年以上未解決だった数学・理論計算機科学の問題を10個まとめて解いたと発表されました。高次元幾何学から量子計算、暗号まで領域は多岐にわたり、証明はLeanで機械検証済みです。今回はその中から、作用素環論の「Connesの剛性予想」への反証に注目。異なる二つの群が同じ「響き」を持つという発見が、数学の根底にあった直感を静かに揺さぶっています。
〇Ten advances in mathematics and theoretical computer science（OpenAI、2026年8月1日）
https://openai.com/index/ten-advances-in-mathematics/
#数学 #AI #OpenAI #Astra #未解決問題 #作用素環論 #Connes予想 #群論 #Lean #定理証明 #形式的証明 #人工知能 #テクノロジー #科学ニュース #数理科学 #高次元幾何学 #格子暗号 #量子計算 #符号理論 #極値組合せ論 #エルデシュ問題 #AI数学者 #ブレイクスルー #数学翻訳家 #数学の翻訳家
感想
まだ感想はありません。最初の1件を書きましょう！
スクロール