Ого, це просто неймовірно: Nomos 1 — це модель з відкритим кодом на 30B, яка щойно набрала 87/120 на цьогорічному Putnam, що достатньо для оцінки #2/3988, що свідчить про те, що майже на вершині Продуктивність з математики людини тепер можлива за допомогою відносно невеликих моделей, а також якісної післятренінгової системи та налаштування мислення. Це дає найсучаснішому AI «математику» та його повним здібностям мислення у руки кожного, знижуючи бар'єр для серйозних математичних досліджень, верифікації та передових інструментів мислення.