Nous Research just open source Nomos 1, a specialization of Qwen/Qwen3-30B-A3B-Thinking-2507 for mathematical problem-solving and proof-writing in natural language. At just 30B parameters, it scores 87/120 on this year’s Putnam