Nyligen nådde Openai, Goolge IMO guldmedaljer med sina nya experimentella modeller. Men vårt team nådde samma nivå med bara o4-mini-high och våra agentsystem. Och nu öppnar vi upp det med öppen källkod. Speciellt fick vi vansinniga förbättringar med USAMO-riktmärkena. Baslinjen var nästan 0 men vår agent fick i genomsnitt 90%. Vi kan också teoretiskt bevisa de senaste arxiv-artiklarna som bara ger den viktigaste forskningsidén.