opción
Hogar
Última hora
Contenido
PeterSanchez
PeterSanchez
23 de marzo de 2026

Meituan ha publicado en código abierto LongCat-Flash-Prover, un modelo MoE con 567 000 millones de parámetros diseñado para pruebas matemáticas complejas. Ha batido nuevos récords SOTA al obtener una puntuación de 971 en el MiniF2F-Test y resolver 415 problemas del PutnamBench. Entre los avances clave se incluyen una verificación AST en varias etapas para eliminar las alucinaciones y el algoritmo HisPO para un entrenamiento estable. El modelo está disponible en GitHub y Hugging Face.

Meituan ha publicado en código abierto LongCat-Flash-Prover, un modelo MoE con 567 000 millones de parámetros diseñado para pruebas matemáticas complejas. Ha batido nuevos récords SOTA al obtener una puntuación de 971 en el MiniF2F-Test y resolver 415 problemas del PutnamBench. Entre los avances clave se incluyen una verificación AST en varias etapas para eliminar las alucinaciones y el algoritmo HisPO para un entrenamiento estable. El modelo está disponible en GitHub y Hugging Face.
comentario (0)
0/300
OR