arXiv 2603.19514(2026년 3월 19일 공개) 논문은 LLM을 미세조정해 반례를 만들고, 그 반례가 맞는지 Lean 4에서 자동 검증 가능한 형식 증명까지 함께 내게 했거든요

수학 AI가 ‘증명’만 하던 흐름에서 벗어나, 거짓 명제를 반박하는 반례 생성까지 본격 학습하기 시작했어요.

arXiv 2603.19514(2026년 3월 19일 공개) 논문은 LLM을 미세조정해 반례를 만들고, 그 반례가 맞는지 Lean 4에서 자동 검증 가능한 형식 증명까지 함께 내게 했거든요. 단순 아이디어 제시가 아니라 기계 검증까지 연결한 점이 핵심이에요.

연구팀은 정리를 뽑아 일부 가정을 제거하는 symbolic mutation으로 다양한 학습 데이터를 합성했고, curated 데이터셋과 multi-reward expert iteration을 결합했어요. 또 새로 수집한 3개 벤치마크에서 성능 향상을 확인했다고 밝혔어요.

이제 수학 추론 AI의 경쟁력은 ‘정답 증명’뿐 아니라 ‘틀린 주장 빠르게 반박하기’ 능력에서 갈릴 가능성이 커졌어요.