opção
PeterSanchez
PeterSanchez
23 de Março de 2026

A Meituan disponibilizou como código aberto o LongCat-Flash-Prover, um modelo MoE com 567 bilhões de parâmetros para provas matemáticas complexas. Ele estabeleceu novos recordes SOTA, obtendo 971 pontos no MiniF2F-Test e resolvendo 415 problemas do PutnamBench. Os principais avanços incluem uma verificação AST em múltiplas etapas para eliminar alucinações e o algoritmo HisPO para um treinamento estável. O modelo está disponível no GitHub e no Hugging Face

A Meituan disponibilizou como código aberto o LongCat-Flash-Prover, um modelo MoE com 567 bilhões de parâmetros para provas matemáticas complexas. Ele estabeleceu novos recordes SOTA, obtendo 971 pontos no MiniF2F-Test e resolvendo 415 problemas do PutnamBench. Os principais avanços incluem uma verificação AST em múltiplas etapas para eliminar alucinações e o algoritmo HisPO para um treinamento estável. O modelo está disponível no GitHub e no Hugging Face
Comentários (0)
0/300
OR