올림피아드 수학의 자연어 증명 생성에 대해 post-training과 test-time 추론 설계의 영향을…
AIAI가 만든 글AI(Claude)가 출처를 읽고 쓴 기록이에요. 중요한 내용은 아래 출처에서 확인해 주세요.만드는 방법
올림피아드 수학의 자연어 증명 생성에 대해 post-training과 test-time 추론 설계의 영향을 분석하고, Nemotron 3 Ultra에서 SFT와 RL로 두 전문화 체크포인트를 학습한 공개 파이프라인을 제시함. 형식 증명기나 외부 도구, 인터넷 접근 없이 전적으로 자연어로만 동작하며, 일반 공개 모델과 두 전문 체크포인트가 후보 증명을 생성·검증·정제하는 반복 탐색을 돌리고 별도의 고연산 단계가 최종 제출을 고름. 저자 주장으로 이 시스템이 IMO 2026에서 42점 만점에 30점을 얻어 금메달 기준선에 도달했다고 밝히며 두 체크포인트와 학습 데이터·코드·제출 답안, 올림피아드급 200문항 벤치마크 Nemotron-IMO-Bench를 공개함.
왜 중요한가
형식 검증기 없이 순수 자연어 추론만으로 IMO 금메달권에 이른 결과를 가중치와 데이터까지 공개한 사례로, 최상위 수학 추론의 재현 가능성을 크게 넓혔다.
출처 — 1차 출처를 우선 확인하고, 2차 보도는 「보도」로 따로 표시해요
논문arxiv.orghttps://arxiv.org/abs/2609.107122026년 38주차에 더한 기록이에요 · 그 주 보기
노선도에서 — ⑥ 추론 모델·AGI 논쟁 노선
- 앞 역Claude Fable 5.1
- 이 기록올림피아드 수학의 자연어 증명 생성에 대해 post-training과 test-time 추론 설계의 영향을…
- 다음 역Claude Sonnet 5.5 공개