Idag öppnar vi källkoden för Nomos 1. Med bara 30 miljarder parametrar får den 87/120 poäng på årets Putnam, en av världens mest prestigefyllda matematiktävlingar. Detta resultat skulle rankas #2/3988 år 2024 och markerar vårt första steg med @hillclimbai mot att skapa en SOTA AI-matematiker.

Nomos 1 uppnådde 87/120 med 8 perfekta poäng, medan Qwen3-30ba3b-Thinking-2507 fick 24/120 när den kördes i samma sele under samma förhållanden, vilket indikerar att prestationen till stor del beror på efterträning och datakvalitet snarare än selen.

Bidrag blindbedömdes av en mänsklig Putnam topp 200-deltagare som fick anonymiserade bidrag. De exakta filerna som skickas till våra mänskliga annotatörer för gradering finns tillgängliga här avanonymiserade: , tillsammans med runbooks som användes för att generera dem Vi använde samma tidsgränser som deltagarna – 3 timmar för varje del.

Vårt open source-resonemangssystem består av en lösningsfas där medarbetarna försöker ett minst löst problem och själva bedömer, följt av en slutfas som samlar inlämningar för att välja en slutlig insändning för varje problem. Vi använde Qwen3:s standardparametrar för sampling och ingen systemprompt.

Vi öppnar vår modell här och vårt resonemang här. Denna modell tränades av @rogershijin på infrastruktur byggd av @theemozilla och @dmayhem93 med rådgivning från @nullvaluetensor och ledarskap från @teknium och @theemozilla.