このモデルがこれらのIMOの問題を解決し、ゴールドレベルの性能を達成するのを見るのは魔法のようでした。いくつかの考え 🧵

このモデルは、リーンやコーディングなどのツールを使用せずにこれらの問題を解決し、自然言語を使用するだけで、時間もわずか 4.5 時間です。モデルの推論は、さまざまな戦略を試し、例から観察し、仮説を検証するなど、非常に高いレベルで見られます。

AIME (GPT 4o) の 12% から ~ 15 か月で IMO ゴールド→上昇したのはクレイジーです。私たちは非常に迅速に遠くまで来ました。来年までにモデルが新しい定理を導き出し、独自の数学研究に貢献しても驚かないでしょう。