вариант
Дом
Срочные новости
Содержание
PeterSanchez
PeterSanchez
23 марта 2026 г.

Компания Meituan открыла исходный код LongCat-Flash-Prover — модели MoE с 567 миллиардами параметров, предназначенной для сложных математических доказательств. Модель установила новые рекорды SOTA, набрав 971 балл на тесте MiniF2F-Test и решив 415 задач из набора PutnamBench. Ключевые прорывы включают многоэтапную верификацию на основе AST для устранения галлюцинаций и алгоритм HisPO, обеспечивающий стабильное обучение. Модель доступна на GitHub и Hugging Face.

Компания Meituan открыла исходный код LongCat-Flash-Prover — модели MoE с 567 миллиардами параметров, предназначенной для сложных математических доказательств. Модель установила новые рекорды SOTA, набрав 971 балл на тесте MiniF2F-Test и решив 415 задач из набора PutnamBench. Ключевые прорывы включают многоэтапную верификацию на основе AST для устранения галлюцинаций и алгоритм HisPO, обеспечивающий стабильное обучение. Модель доступна на GitHub и Hugging Face.
OR