옵션
속보
콘텐츠
PeterSanchez
PeterSanchez
2026년 3월 23일

메이투안(Meituan)이 복잡한 수학적 증명을 위한 5670억 파라미터 규모의 MoE 모델인 ‘LongCat-Flash-Prover’를 오픈소스로 공개했습니다. 이 모델은 MiniF2F-Test에서 971점을 기록하고 PutnamBench 문제 중 415개를 해결하며 새로운 SOTA 기록을 세웠습니다. 주요 혁신 기술로는 환각 현상을 제거하기 위한 다단계 AST 검증 방식과 안정적인 훈련을 위한 HisPO 알고리즘이 포함됩니다. 이 모델은 GitHub와 Hugging Face에서 확인할 수 있습니다.

메이투안(Meituan)이 복잡한 수학적 증명을 위한 5670억 파라미터 규모의 MoE 모델인 ‘LongCat-Flash-Prover’를 오픈소스로 공개했습니다. 이 모델은 MiniF2F-Test에서 971점을 기록하고 PutnamBench 문제 중 415개를 해결하며 새로운 SOTA 기록을 세웠습니다. 주요 혁신 기술로는 환각 현상을 제거하기 위한 다단계 AST 검증 방식과 안정적인 훈련을 위한 HisPO 알고리즘이 포함됩니다. 이 모델은 GitHub와 Hugging Face에서 확인할 수 있습니다.
의견 (0)
0/300
OR