LongCat-Flash-ProverMeituan · 중국메이투안 Lean4 정리 증명 모델공개 월2026년 3월분야기타이용 방식오픈 가중치파라미터(크기)560B라이선스mit · 상업 OK요약허깅페이스 등록 2026년 3월 20일 · 오픈 가중치 · 560BLean4 형식화·증명 스케치·증명용 · MiniF2F-Test 통과율 97.1%(문제당 72회 추론, 회사 발표)공식 발표 보기 ↗← 모델 목록