OpenAI 購買 FrontierMath 驗證器：自動檢驗模型生成的數學解法

AI 要去解最頂尖的數學難題，最頭疼的往往不是怎麼把答案寫出來，而是寫出來之後，誰能說得準它到底對不對。

Epoch AI 透露，OpenAI 已經購買了 FrontierMath: Open Problems 驗證器的訪問許可權。有了這套驗證器，OpenAI 就能自動檢查模型生成的數學解法在邏輯和數學上是否成立。

FrontierMath 本身是 Epoch AI 推出的一套極難數學基準，專門用來挑戰最前沿的 AI 系統。

給數學大模型配上自動判卷機

評估這種超高難度的開放式數學題，一直是個苦差事，過去往往得靠頂尖數學家花大量時間肉眼審查。

現在 OpenAI 拿到了驗證器的介面，就能在測試高階數學推理能力時，更可靠、更大規模地校驗模型輸出，省去了大量人力消耗。

為什麼重要

對於專注於強推理的模型來說，可靠的反饋訊號就是生命線。如果系統無法自動判斷一個證明是否有效，強化學習和能力評估就會迅速碰壁。

我們認為，OpenAI 這一步走得相當務實：與其花大把時間自己從頭搭一套頂尖數學的驗證基準，不如直接向專業機構買成熟工具的訪問權。

這也看起來表明，行業對前沿模型的競爭，正在從單純看公開跑分，轉向用嚴格的自動化驗證來啃真正困難的複雜推理。