OpenAI が 249 ページの論文を公開: 最先端の推論モデルが 10 の主要な数学的問題を一発で克服

OpenAIは7月31日に249ページの研究集をリリースし、高度な数学と理論コンピューターサイエンスの方向に向けた最先端の推論モデルの10の進歩を明らかにした。最も目を引くのは、このモデルが、これまで未解決だった有名な未解決の数学的問題を、複数回の再試行や手動介入を必要とせずに「1 回の試行」方法で解決したことです。 「問題を解決できること」から「未解決の問題を独立して進めることができること」まで、これはおそらく、推論モデルが「自律的な数学的研究」に向かって進んでいることを最も具体的に示すものです。

10 の進歩と「一発」の克服

このコレクションは、高度な数学と理論的コンピューター サイエンスの 2 つの主要な方向をカバーしており、合計 10 の具体的な開発が含まれています。画期的な出来事の 1 つは、モデルがたった 1 回の推論で有名な未解決の数学的問題を解決したことでした。従来のパラダイムは多くの場合、複数回の試行や人間の支援に依存しており、「シングルショット」とは、モデルが推論の品質自体を直接実装できるレベルまで押し上げたことを意味します。関連するすべての結果は、リーン形式の証明の形式でオープンソース化されており、検証可能で再現可能なモデルに関する自作の論文が付属しています。

費用アカウント USD 2000/質問

公式には、各数学的問題を解くための計算コストは約 2,000 ドルです。このコスト計算を人間の数学者チームの時間と財政的投資と比較すると、桁違いの違いが非常に直感的にわかります。