Nomos 1
Nomos 1 from Nous Research is an open-source AI model specializing in advanced mathematical reasoning; it achieved top-tier results on the Putnam exam, demonstrating strong symbolic and formal reasoning capabilities.
🌟
Free Plan
Free
Open-source model weights
Community licenses
Features & Use Cases
Key Features
Advanced mathematical reasoning
Symbolic problem solving
Research-grade reproducibility
Open-source weights and tools
Benchmarked on high-difficulty exams
Use Cases
Nous ResearchNomosMathematicsOpen SourceResearch