2026-08-03 19:07:31
OpenAI 次世代モデル、計算資源 $2,000 で主要な数学問題10問を解く
OpenAIによると、その次世代モデルは、数学および理論計算機科学における10年以上にわたる未解決問題のうちの複数でブレークスルーを達成した。計算コストは、GPT-5.6 Sol APIのレートでトークン手数料として約$2,000。ブレークスルーは、球面充填、コーディング理論、群論、量子複雑性、格子暗号、極値組合せ論に及び、非ソフィック群の存在の証明や、高次元の球面充填における境界の指数的改善などを含む。OpenAIは、数学者の査読のために原稿、形式化Leanの証明証明書、そして推論トレースをリリースする予定だ。