Nomos 1
Nomos 1 is Nous Research’s independently released open-weight language model. Developed with Hillclimb AI, this mathematical specialization generates natural-language solutions and proofs. It is designed for the separately released Nomos reasoning harness. Its Putnam comparison measures the model plus that harness, rather than single-draw model-only accuracy. Downloadable weights enable private deployment and further research. This page preserves checkpoint and evaluation scope; tool execution requires an external harness, and generated answers or proofs need independent verification.
2025-12-09
30B total, 3B active
Mixture of Experts
Apache-2.0
Specifications
- Parameters
- 30B total, 3B active
- Architecture
- Mixture of Experts
- License
- Apache-2.0
- Type
- text
- Modalities
- text
Benchmark Scores
Advanced Specifications
- Model Family
- Nomos
- Finetuned From
- Qwen3 30B A3B Thinking 2507
- API Access
- Not Available
- Chat Interface
- Not Available
Capabilities & Limitations
- Capabilities
- language generationreasoningmathematical proofs
- Known Limitations
- License depends on the checkpoint and base modelProvider evaluations use specific harnesses and settingsGenerated reasoning is not a proof of correctness
- Notable Use Cases
- private language applicationsreasoning researchspecialized model evaluation