OpenAI、新モデル「Astra」で10の数学問題に証明生成
OpenAIは8月1日、次期主力モデル群の名称を「Astra」とし、長年未解決だった10件の数学問題について、機械で検証可能な証明を生成したと発表しました。対象は群論、高次元幾何、符号理論、量子計算量、格子暗号、極値組合せ論などで、成果は249ページの原稿集として公開されました。注目されるのは、全結果に機械検証用の証明書が付いた点です。OpenAIによると、新たな結果を得るためのコストは2,000ドルまで下がったとしています。