Holy moly, thats insane: Nomos 1 is a 30B open-source model that just scored 87/120 on this year’s Putnam, good enough for an estimated #2/3988, showing that near–top human math performance is now possible with relatively small models plus good post-training and reasoning setup. This puts a state-of-the-art AI “mathematician” and its full reasoning capabilites into everyone’s hands, lowering the barrier to serious math research, verification, and advanced reasoning tools.