We release
Nomos 1
, a specialization of
Qwen/Qwen3-30B-A3B-Thinking-2507
for mathematical problem-solving and proof-writing in natural language. Nomos-1 was trained in collaboration with
Hillclimb AI
.
Nomos 1 is designed to be used with the
Nomos Reasoning Harness
, which we open-source concurrently.
On Putnam 2025, Nomos 1 scores
87/120
when wrapped in the Nomos reasoning harness. Under the same conditions,
Qwen/Qwen3-30B-A3B-Thinking-2507
scores
24/120
.
Usage
We recommend using Nomos-1
without
a system prompt.
Hugging Face
from transformers import AutoTokenizer, AutoModelForCausalLM
import torch
model_id = "NousResearch/nomos-1"
tokenizer = AutoTokenizer.from_pretrained(model_id, trust_remote_code=True)
model = AutoModelForCausalLM.from_pretrained(
model_id,
torch_dtype=torch.float16,
device_map="auto",
trust_remote_code=True,
)
messages = [
{
"role": "user",
"content": (
"Solve the following problem and show your reasoning:\n\n""Let a, b, c be positive real numbers such that abc = 1. ""Prove that\n""\\[\n"" \\frac{1}{1+a} + \\frac{1}{1+b} + \\frac{1}{1+c} \\ge 1.\n""\\]"
),
},
]
inputs = tokenizer.apply_chat_template(
messages,
add_generation_prompt=True,
return_tensors="pt",
).to(model.device)
with torch.no_grad():
outputs = model.generate(
**inputs,
max_new_tokens=400,
temperature=0.6,
top_p=0.95,
top_k=20,
do_sample=True,
)
print(tokenizer.decode(outputs[0], skip_special_tokens=True))
We would like to thank the following contributors:
Nous Research
Roger Jin, Jeffrey Quesnelle, Dakota Mahan, Chen Guang, Teknium
Hillclimb AI
Jun Park, Ibrakhim Ustelbay
Math experts
Samuel Kim, Miron Yurkevich, Adilet Zauytkhan, Rinat Amankos, Alex Andreyev, Damir Nurlanov, Abuzer Abuov
Other
massiveaxe
Citation
@misc{nomos_model2025,
title = {Nomos Model},
author = {Jin, Roger and Quesnelle, Jeffrey and Mahan, Dakota and Guang, Chen and Teknium, Ryan and Park, Jun and Ustelbay, Ibrakhim and Kim, Samuel and Yurkevich, Miron and Zauytkhan, Adilet and Amankos, Rinat and Andreyev, Alex and Nurlanov, Damir and Abuov, Abuzer and massiveaxe, Askar},
year = {2025},
howpublished = {\url{https://huggingface.co/NousResearch/nomos-1}},
note = {Model release},
}
Runs of NousResearch nomos-1 on huggingface.co
277
Total runs
0
24-hour runs
-23
3-day runs
-35
7-day runs
-125
30-day runs
More Information About nomos-1 huggingface.co Model
nomos-1 huggingface.co is an AI model on huggingface.co that provides nomos-1's model effect (), which can be used instantly with this NousResearch nomos-1 model. huggingface.co supports a free trial of the nomos-1 model, and also provides paid use of the nomos-1. Support call nomos-1 model through api, including Node.js, Python, http.
nomos-1 huggingface.co is an online trial and call api platform, which integrates nomos-1's modeling effects, including api services, and provides a free online trial of nomos-1, you can try nomos-1 online for free by clicking the link below.
NousResearch nomos-1 online free url in huggingface.co:
nomos-1 is an open source model from GitHub that offers a free installation service, and any user can find nomos-1 on GitHub to install. At the same time, huggingface.co provides the effect of nomos-1 install, users can directly use nomos-1 installed effect in huggingface.co for debugging and trial. It also supports api for free installation.