NuminaMath, AIMO 우승

Numina와 Hugging Face의 협업으로 개발된 NuminaMath 7B TIR 모델이 **AI Math Olympiad (AIMO)**의 제1회 Progress Prize에서 우승을 차지했다. 이 모델은 비공개 테스트 세트의 50개 문제 중 29개를 해결하며 뛰어난 수학적 추론 능력을 입증했다.

주요 기술적 핵심 요소는 다음과 같다:

• SC-TIR (Self-Consistency and Tool Integrated Reasoning): 자기 일관성(Self-Consistency)과 도구 통합 추론(Tool Integrated Reasoning)을 결합하여 추론 과정의 변동성을 제어했다.
• 데이터 품질: 고품질 데이터를 활용한 학습 전략을 통해 모델 성능을 극대화했다.
• 과적합 방지: 수학적 문제 해결 능력이 특정 데이터에 매몰되지 않도록 과적합(Overfitting)을 방지하는 기술을 적용했다.

Numina는 수학 분야의 AI 발전을 위해 오픈 소스 및 오픈 데이터셋을 지향하는 AI4Maths 이니셔티브이다.