OpenAI、数学の未解決問題10件をAIで解決

Ten advances in mathematics and theoretical computer science

OpenAIは、次期モデル「Astra」の内部版を用いて、数学と理論計算機科学における10件の未解決問題を解決したと発表した。高次元球充填、符号理論、群論、量子複雑性、格子暗号など多岐にわたる。各証明はLeanで形式化され、人間が検証した。総計算コストは約2000ドル相当。