OpenAI、次期主力モデル「Astra」の存在を明らかに――未解決の数学問題10件を「解決」と発表

記事の3ポイント

1. 1

   新モデル「Astra」の存在公表

   OpenAIは数学と理論計算機科学の未解決問題10件を解決した成果が次期主力モデル「Astra」の社内版によるものだと発表し、公式にこの名称を初めて使用した。

2. 2

   高度な数学的証明の達成

   高次元幾何や群論など10年進展がなかった未解決問題について、モデル生成の議論を人間が論文化し、形式証明支援系「Lean」で検証するプロセスで解決を示した。

3. 3

   詳細仕様の非公開

   Astraの公開時期や構成、API料金、ChatGPTでの提供形態については明言せず、あくまで社内版による研究成果として紹介している。