Nomos 1
Открытая языковая модель для математических доказательств и сложных логических рассуждений
Команда Nous Research совместно с Hillclimb AI взяла тридцатимиллиардную модель Qwen3-30B-A3B-Thinking-2507 и специализировала её для чисто математических вычислений. Получилась Nomos 1 — система, которая не просто считает формулы, а пишет строгие доказательства человеческим языком. Модель создана под работу со специализированным логическим каркасом Nomos Reasoning Harness: на сложнейшей студенческой математической олимпиаде Putnam 2025 эта связка выбила 87 баллов из 120, в то время как исходная базовая модель в тех же условиях набрала лишь 24.
Что умеет
- Решает олимпиадные математические задачи и расписывает ход мысли от условий к результату.
- Формулирует математические доказательства на естественном языке без перехода на абстрактный машинный код.
- Эффективно работает в связке с логическим модулем Nomos Reasoning Harness, расширяющим глубину рассуждений.
- Разворачивается на собственном железе через Transformers, а также серверные фреймворки vLLM и SGLang с параллелизмом на восемь ускорителей.
- Выдает чистый результат без системного промпта — авторы рекомендуют отправлять задачу сразу в пользовательском сообщении.
Цены и доступ
Модель и её программная обвязка полностью бесплатны. Исходный код и веса распространяются по свободной лицензии Apache 2.0 на Hugging Face и GitHub.
Техническим креаторам и инженерам, которые завязывают генеративный продакшен, параметрические модели и процедурные системы на строгую математику, Nomos 1 даёт сильный инструмент расчётов прямо на собственных серверах.
