오픈AI, AI가 쓴 수학 논문 722편 공개…검증은 이제 시작

미해결 문제 4천 개에 도전한 미공개 모델 오픈AI가 10월 6일 깃허브 저장소 'openai/math'에 AI가 쓴 수학 논문 722편을 올렸어요. 아직 공개하지 않은 내부 모델에 미해결 문제 약 4,000개를 맡겼고, 그 결과를 372개 묶음으로 정리했어요. 결과 하나에 평균 챗GPT 프로 '생각' 연산 3시간 분량이 들었다고 해요. 리만 제타 함수, 호지 추측 같은 유명한 난제 쪽 부분 진전을 주장한 논문도 들어 있어요.

'증명했다'와 '검증됐다'는 다른 말 저장소 설명을 보면, 핵심 결과 중 Lean(수학 증명을 컴퓨터로 검사하는 프로그램)으로 확인된 것은 약 42%예요. 오픈AI도 형식화되지 않은 결과에는 문제가 있을 수 있다고 적어 뒀어요. 실제로 하루 만에 부호 오류가 나와 3편이 철회됐어요. 수학계에서는 모델이 공개돼 재현되기 전까지는 미검증으로 봐야 한다는 신중론과, 요청하지 않은 대량 공개가 부담이라는 반발이 함께 나와요.

AI가 연구 결과를 대량으로 만드는 시대가 됐지만, 믿을 수 있는지 가리는 일은 여전히 사람 몫이에요. 업무에 챗GPT를 쓸 때도 '그럴듯한 답'과 '확인된 답'을 구분하는 습관이 필요해요.

출처: OpenAI GitHub - openai/math
더 많은 AI 도구·활용법은 aitoolspick.net에서 확인하세요.

원문: 오픈AI 깃허브 (2026-10-06) · 본 글은 출처 기사를 근거로 AI툴즈픽이 자체 작성한 요약·해설입니다.

관련 도구