Nous Research logo

Nomos 1

Nous ResearchOpen WeightsPending Human Review

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

Related Models