MODEL VARLIĞI
Nomos-1
Nomos-1, Nous Research ve Hillclimb AI'nin Qwen3-30B-A3B-Thinking-2507 üzerine kurduğu, matematiksel problem çözme ve doğal dilde ispat yazımına özelleşmiş bir modeldir. Genel amaçlı bir asistan değildir; değeri tek bir dar alanda çok büyük bir sıçrama yapmasında: Nomos akıl yürütme çatısıyla (reasoning harness) sarıldığında Putnam 2025'te 87/120 alırken aynı koşullarda temel modeli 24/120 almıştır. Bu, model ağırlığının yanında çatının da sonucun parçası olduğunu gösterir.
Künye
Kapalı- Geliştirici
- Nous Research
- Model tipi
- Metin LLM (matematik odaklı)
- Modaliteler
- metin
- Açık ağırlık
- Var
- Lisans
- Apache-2.0
- Yönetilen API
- Yok
Son doğrulama: 12 Eylül 2026
Yetenekler
- 31 milyar parametre; Qwen3-30B-A3B-Thinking-2507 temelinden özelleştirme
- Putnam 2025'te Nomos akıl yürütme çatısıyla 87/120 (temel model aynı koşulda 24/120)
- Doğal dilde ispat yazımı ve matematiksel problem çözme
- Açık kaynak Nomos Reasoning Harness ile birlikte kullanım
- Apache-2.0 lisansı
Sınırlılıklar
- Tek alana özelleşmiş: matematik ve ispat dışındaki görevler için tasarlanmadı
- Bildirilen Putnam skoru modelin tek başına değil, Nomos akıl yürütme çatısıyla sarıldığında elde ediliyor
- Sistem istemi (system prompt) olmadan kullanılması öneriliyor; alışıldık istem mühendisliği kalıpları geçerli değil
- Bağlam penceresi model kartında belirtilmemiş
- Kesin yayın tarihi model kartında belirtilmemiş
Tipik kullanım alanları
- Otomatik teorem ispatı ve matematiksel akıl yürütme araştırması
- Olimpiyat/yarışma matematiği değerlendirmesi
- Akıl yürütme çatısı (harness) tasarımı çalışmaları
Benchmark politikası
Bu sayfada skor tablosu yer almaz. Sinaptik Lab, yalnızca test verisi, model sürümü, örnekleme ayarları ve örneklem sayısı yayımlanmış ölçümleri raporlar. Metodoloji
BUILD
Hangi modeli seçeceğinize karar veremiyor musunuz?
Kendi görev setiniz üzerinde kalite, gecikme, maliyet ve uyum kısıtlarını birlikte ölçüyoruz.