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

정답률 46%포인트 높인 AI 검증, 답한 비율은 21%였다

한경모글 · 한경모
수학 풀이를 단계별로 분해해 정답 여부와 논리적 타당성을 대조하는 검증 화면
수학 풀이를 단계별로 분해해 정답 여부와 논리적 타당성을 대조하는 검증 화면
AI가 답안을 검증해 정답률을 높였다는 소식에서 먼저 볼 숫자는 ‘얼마나 많이 답했나’다. 11월 10일 Abhinav Gupta 등 독립 연구자 4명이 공개한 논문은 공개 가중치 모델의 추론에서 검증의 이득과 운영 비용을 함께 따졌다. 핵심은 검증 도장을 붙이는 기술만큼, 답하지 못한 이유까지 구분하는 평가가 중요하다는 것이다. 연구진은 기존 Theoria 시스템으로 풀이를 근거 유형별 단계로 재구성하고, LLM 심사자가 각 단계를 검사한 뒤 수정 절차를 거쳐 인증하거나 거절하게 했다. 주요 구성에서는 Qwen3-14B가 풀이와 심사를 맡고 gpt-oss-20b가 풀이를 구조화했다. 실험 대상은 과학 질의응답 GPQA 100문제, AIME-2025 30문제, MATH-500의 첫 100문제로, 수학 능력 전체를 대표하는 실험은 아니다.
  • GPQA 주요 구성은 최초 답변 정답률 56.3%에서 인증 답변 정밀도 87.6%로 올랐지만, 전체 시도의 35%만 답을 냈다.
  • AIME는 정밀도가 약 46%포인트 상승했으나 응답률은 21%였고, MATH-500에서는 개선이 최대 5%포인트에 그쳤다.
  • 출력 토큰 예산을 맞춘 반복 풀이·투표 방식도 응답률 35%에서 정밀도 82.9%를 기록했다.
여기서 정밀도는 내놓은 답 중 정답 비율이므로, 전체 문제를 더 많이 맞혔다는 뜻으로 읽으면 안 된다. 검증과 투표의 정밀도 차이는 약 4.8%포인트였지만 95% 구간이 -8.2~18.5%포인트여서 우열은 확정되지 않았다. 연구계가 추론 예산을 풀이와 검증 중 어디에 배분할지 비교해 온 흐름에서, 복잡한 검증 절차도 단순한 반복 풀이와 경쟁해야 한다는 결과다. 더 눈에 띄는 부분은 침묵의 원인이다. 별도 진단에서는 처리를 마친 88건 중 52건이 증명 구성에 실패해 심사자에게 도달하지도 못했다. 이를 모두 신중한 답변 거절로 집계하면 제품의 실행 장애가 안전성 성과처럼 보일 수 있다. ‘그래도 검증된 풀이가 남으니 비용을 지불할 가치가 있다’는 반론은 타당하다. 다만 외부 LLM이 인증된 풀이를 받아들인 비율은 61.0~67.6%로, 답안 정답 일치율 87.6%와 차이가 컸다. 외부 심사에도 인간이나 형식 검증기의 정답 기준이 없으므로, 이 격차를 곧바로 증명 오류율로 단정할 수는 없다. 제품에 적용하면 오답 비용이 큰 교육·연구 도구에서는 선별 응답이 유용할 수 있지만, 미응답을 처리할 사람과 재시도 비용까지 계산해야 한다. 공개 모델 기반 서비스의 경쟁력도 검증 단계 수보다 같은 자원으로 제공하는 유효 답변 수에서 갈릴 수 있다. 다만 토큰 예산을 맞췄다고 실제 요금이나 지연 시간까지 같아지는 것은 아니다. 다음 검증 경쟁에서는 선택된 답의 정확도, 실행 실패율, 독립적으로 확인한 풀이 타당성을 나눠 공개하는 서비스가 더 설득력 있는 근거를 제시할 것이다.
인사이트

검증의 가치는 통과한 답의 정답률과 전체 요청의 처리 성과를 함께 봐야 드러난다. 답변 거절에 숨어 있는 실행 실패까지 측정해야 검증 비용이 실제 신뢰성 향상으로 이어지는지 판단할 수 있다.

자주 묻는 질문

정답률이 46%포인트 올랐으면 훨씬 똑똑해진 거 아냐?
인증을 통과한 답변 집합의 정밀도가 높아졌다는 의미다. AIME에서는 전체 시도의 약 21%만 인증 답변을 냈으므로, 전체 문제를 해결하는 능력이 같은 폭으로 향상됐다고 볼 수 없다.
그냥 여러 번 풀고 투표하면 되는 거야?
GPQA에서 출력 토큰 예산과 응답률을 맞췄을 때 반복 풀이·투표의 정밀도는 82.9%, 검증 방식은 87.6%였다. 차이의 불확실성 구간이 0을 포함하므로 이 실험만으로 검증의 우월성이나 두 방식의 동등성을 확정할 수 없다.
인증된 풀이면 수학적으로 증명됐다는 뜻이야?
이 연구의 인증은 구조화한 풀이가 LLM 기반 심사 규칙을 통과했다는 뜻이다. 형식 검증기가 증명의 타당성을 보장한 결과는 아니며, 외부 LLM 심사 역시 인간이나 형식 검증기의 독립적인 판정을 대신하지 못한다.
공유XTelegram

이 기사 어땠어요?

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

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

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