Ничего себе, это безумие: Nomos 1 — это модель с открытым исходным кодом стоимостью 30 миллиардов, которая только что набрала 87/120 на этом году Putnam, что достаточно для оценки #2/3988, показывая, что почти топ человеческая математическая производительность теперь возможна с относительно небольшими моделями и хорошей настройкой постобучения и рассуждений. Это ставит передовые возможности ИИ «математика» и его полные способности рассуждения в руки каждого, снижая барьер для серьезных математических исследований, верификации и инструментов для продвинутого рассуждения.