同じNemotronのベースモデルから、金メダル級の2つのアプローチが生まれました。一方は問題を解き、もう一方は証明を書くものです。プログラミングでは、2万2,000問と合成推論トレースを使い、生成・評価・修正のループでスコアを伸ばし、IOIで535.4/600を記録しました。ただし、これは非公式の無監督ベンチマークであり、公式ランキングには含まれません。

数学では、41万件を超えるサンプルで証明の生成・修正・検証をカバーしました。最後にSFTとRLのチェックポイントを併用したのは、それぞれの強みが補完し合うためです。IMOでは30/42を獲得し、公式に採点されました。