Новый лидер на таблице лидеров PutnamBench! Мы близки к насыщению, следующая большая цель — оптимизация затрат при той же производительности доказательства! Поздравляем команду Logical Intelligence!