중국 AI, 국제수학올림피아드서 금메달급 성적

…5문제 완전 해결 핵심 내용 요약 1. 시드-프로버(Seed-Prover) 개발 개발 주체: 중국 바이트댄스(틱톡 모회사) 시드팀 구조적 수학 증명 AI 모델 증명 과정 전체 전략을 설계 → 중간 단계(레마) 먼저 증명 후 최종 정리 증명 MS의 수학 증명 검증 소프트웨어 ‘린(Lean)’ 피드백과 기존 레마·자체 요약 데이터 학습 2.

추론 모드 3단계 경량 모드: 빠른 다중 시도 중간 모드: 전체 구조 최적화 + 개별 레마 심층 추론 헤비급 모드: ‘무엇을 증명할지’ 자체 탐색, 추측 풀(hypothesis pool) 구성·검증 3. 2025 IMO(국제수학올림피아드) 성적 대회 공식 성적: 6문제 중 4문제 완전 해결 + 1문제 부분 해결 → 30점(은메달) 대회 후 재도전: 추가 1문제 해결 → 총 5문제 해결 = 금메달급 점수 IMO 기출 155문제 중 121문제 완전 증명 4. 의의와 전망 단순 대회용이 아닌 범용 수학 추론 AI 가능성 입증 LLM + 수학 증명 보조...