MaxProof: 생성기-검증기 RL 및 개체 수준 테스트 시간 스케일링으로 수학적 증명 확장

요약

본 글은 MiniMax-M3 시리즈를 위한 개체(population)-수준 테스트 시간 스케일링 프레임워크인 MaxProof를 소개합니다. MaxProof는 증명 생성, 검증, 복구 기능을 통합하여 모델의 성능을 향상시켰습니다. 이 방법을 통해 M3 모델은 IMO 2025와 USAMO 2026 등 주요 수학 경시대회에서 인간 금메달리스트 수준을 초과하는 높은 점수를 달성했습니다.

핵심 포인트

• MaxProof는 개체(population)-수준 테스트 시간 스케일링 프레임워크입니다.
• MiniMax-M3 모델은 증명 생성, 검증, 복구 기능을 통합합니다.
• MaxProof 적용 결과, IMO 2025와 USAMO 2026에서 높은 점수를 기록했습니다.