OpenAIの次世代モデルAstraが数学と理論計算機科学の難問10件を解決

要点：OpenAIは次世代モデル「Astra」の内部版を用い、数学や理論計算機科学における10の難問を約2000ドルのコストで解決しました。証明にはLeanによる検証とCoT（思考の連鎖）による推論が活用されています。