지금은 인공지능 시대(지인시) 심볼지금은 인공지능 시대
논문 브리핑

수학 교재 2,118권을 AI 교재로…TOME-Math가 살린 ‘배우는 순서’

한경모글 · 한경모
수학 교재의 장별 구성과 명제·증명 사이 연결을 보여주는 TOME-Math 연구 도식
수학 교재의 장별 구성과 명제·증명 사이 연결을 보여주는 TOME-Math 연구 도식
AI에게 수학책을 읽힐 때 목차까지 가르치면 무엇이 달라질까. 10월 29일 Youqing Fang 등이 공개한 TOME-Math는 대학 수학 교재 2,118권을 약 38만 건의 증명 학습 데이터로 바꾸며 이 질문을 실험했다. 핵심은 정답 수집을 넘어, 앞에서 배운 명제가 뒤의 증명을 어떻게 떠받치는지 보존하는 데 있다. 연구 소개 책을 문제와 답으로 잘라 저장하면 검색은 편해지지만, 그 답을 이해하기 위한 선행 지식의 연결은 흐려진다. 연구진은 PDF에서 장별 구조를 복원하고 명제와 증명을 추출한 뒤, 생략된 추론을 별도 문제로 보완했다. 학생에게 완성된 풀이를 보여주는 동시에, 풀이 중간에 건너뛴 논리를 직접 설명하게 만드는 셈이다. 이 방식은 교재를 단순한 텍스트 창고에서 학습 순서를 설계하는 재료로 바꾼다.
  • 데이터 구성: 29개 수학 분야의 장 순서와 출처, 명제 간 참조 관계를 함께 남겼다.
  • 성능 변화: Qwen3-30B-A3B-Base의 6개 평가 단순 평균은 미세조정 후 29.17%에서 45.83%로 올랐다.
  • 효과의 경계: 비교한 공개 학습 데이터 3종을 평균에서 앞섰지만, AIME 2026에서는 최고점이 아니었다.
여기서 16.7%포인트 향상을 전부 목차의 공으로 돌려서는 안 된다. 데이터 내용도 달라졌기 때문에, 전체 성능 비교만으로 학습 순서의 효과를 분리할 수 없다는 반론은 타당하다. 다만 같은 예제와 토큰 예산으로 순서를 바꾼 별도 실험에서도 교재의 정방향 진행이 유리했다는 점이 재반박의 근거다. 실험 결과 수학 AI 연구에서 데이터의 양뿐 아니라 다양성과 풀이 품질이 중요하다는 시각은 이미 축적돼 있으며, 이 논문은 그 논의를 지식의 배열로 확장한다. 앞서 명제와 참조 관계를 보존한 NaturalProofs와 연결되지만, 대규모 교재와 학습 순서를 함께 다룬다는 데 무게가 실린다. 단, 자연어 증명의 평가는 LLM 검토에 의존하므로 결과를 엄밀한 형식 검증의 보증서로 읽어서는 안 된다. 방법과 관련 연구 산업적으로 주목할 대목은 전문 데이터를 가진 기업이 무엇을 자산으로 관리해야 하느냐다. 이 결과를 제품 전략으로 해석하면, 교육기업과 전문 출판사는 문서 분량뿐 아니라 개념의 선후 관계와 근거 위치까지 보존할 이유가 생긴다. 국내 수학 교육 서비스라면 틀린 문제의 해설을 길게 늘리는 대신, 학생이 놓친 선행 개념을 찾아 연결하는 설계에 참고할 만하다. 다만 그것은 이번 연구에서 입증된 학생 학습 효과가 아니라, 앞으로 사용자 실험으로 확인할 제품 가설이다. 도입 비용 역시 원문 확보, 구조 추출, 오류 검수까지 포함해 따져야 하며 작은 데이터셋이라는 이유만으로 저렴하다고 단정할 수 없다. 다음 경쟁의 질문은 누가 책을 더 많이 모으느냐에서, 누가 지식 사이의 연결을 검증 가능한 형태로 남기느냐로 넓어질 전망이다.
인사이트

전문 지식의 가치는 문서 분량에만 있지 않다. TOME-Math는 개념의 선후 관계와 생략된 추론을 보존하는 데이터 설계가 AI 경쟁력의 한 축이 될 수 있음을 보여준다.

자주 묻는 질문

수학책 PDF를 그냥 넣으면 같은 효과가 나?
TOME-Math는 장 순서와 명제·증명 관계를 추출하고 생략된 추론을 학습 문제로 보완한다. PDF를 그대로 입력했을 때 같은 효과가 난다는 결과는 아니다. [논문 방법](https://arxiv.org/html/2610.40394v1#S3)
성능이 16.7% 좋아졌다는 뜻이야?
상대 증가율이 아니라 6개 평가 점수의 단순 평균이 약 16.7%포인트 상승했다는 뜻이다. 모든 수학 문제의 정답률이 그만큼 오른다는 의미는 아니다. [결과 표](https://arxiv.org/html/2610.40394v1#S4)
이제 AI가 쓴 증명을 믿어도 돼?
이 연구만으로 개별 증명의 정확성을 보장할 수는 없다. 자연어 증명에 대한 LLM 평가와 형식 검증은 구분해야 한다. [평가 방법](https://arxiv.org/html/2610.40394v1#S4)
공유XTelegram

이 기사 어땠어요?

피드백을 남겨주시면 더 나은 맞춤 추천을 만듭니다.

이런 뉴스를 매일 받아보세요

매일 아침 7시, 그날의 정리를 이메일과 Telegram으로 받아보세요.