#formal-reasoning 2 пункта 14 июн MaxProof: модель MiniMax превышает пороги золотых медалей IMO и USAMO в формальной математике MiniMax research 26 июн Детерминированный горизонт: когда расширенное рассуждение даёт сбой и необходима делегация инструментам research