【生成AIニュースメモ】OpenAI、数学・理論計算機科学の未解決問題で10件の成果を発表(2026/8/2)新着!!
2026年8月2日
OpenAIは2026年8月1日(米国時間)、数学と理論計算機科学の長年の未解決問題を解決、または大きく前進させた10件の成果を発表しました。いずれも次期主要モデル「Astra」の内部バージョンによって得られたもので、高次元幾何、符号理論、群論、作用素環、量子計算量、格子暗号、極値組合せ論などの分野にまたがります。人間が同じモデルとともに論文原稿を整え、各証明はモデルがLeanで形式化したとしています。