Сьогодні ми відкриваємо вихідний код Nomos 1. Маючи лише 30B параметри, він отримує 87/120 на цьогорічному Putnam — одному з найпрестижніших математичних змагань у світі.
Цей бал отримає #2/3988 у 2024 році і стане нашим першим кроком із @hillclimbai до створення SOTA AI-математика.
