오픈AI 수학 원고, 연구자들이 설명⁠·⁠인용 보완 나섰다

오픈AI가 AI로 작성한 수학 원고의 설명과 인용을 보완할 공동 작업이 참여자를 모집했다. 연구자 네 명은 10월 24일 테런스 타오의 블로그에 기고해 ‘oai-math-revised’를 소개하고 학생·연구자·교수·관심 있는 독자의 참여를 요청했다. 읽기 어려운 대목과 불완전한 인용을 개선하려는 프로젝트다.

대상은 오픈AI 내부 모델이 만든 원고와 증명 자료다. 오픈AI의 현재 목록은 원고 719편을 관련 결과끼리 묶은 372개 계열로 분류한다. 한 계열에는 주요 결과뿐 아니라 보조 논증·따름정리·대안 증명이 함께 들어갈 수 있다. 이 집계는 원고·결과 묶음의 규모를 나타내며, 모두 검증을 마쳤다는 뜻은 아니다.

기고자는 아비나브 넬로어, 요하네스 슈미트, 솔레다드 비야르, 레이철 워드다. 오픈AI 원본을 복사해 별도로 수정하는 포크 저장소는 공개 참여 요청에 앞선 10월 10일 만들어졌다.

기여 범위는 선행 연구 인용 추가, 설명 개선, 오류 지적과 가능한 수정까지다. 논문별 메모에는 후속 연구·검토 의견·함께 읽을 사람을 기록한다. 원고를 고칠 때는 TeX 원본과 다시 만든 PDF를 변경안으로 제출하는 절차를 두고, 제출물은 관리자가 검토하도록 했다.

검토된 기여와 자동 수집 자료를 구분

웹사이트는 원문 PDF와 메모를 한 논문 페이지에 모은다. 다만 AI가 자동으로 모은 문헌·블로그·논의는 별도 ‘검토되지 않은 자동 수집 메모’ 영역에 둔다. 푸리에 회로 논문 페이지에는 사람이 확인하지 않았으며 틀리거나 빠진 내용이 있을 수 있다는 안내와 수집 도구·날짜가 함께 표시돼 있다.

실제 추가 기록도 확인된다. 25일 병합된 변경안 34번은 제이컵 서스먼의 월시–아다마르 회로 후속 연구 저장소를 관련 논문의 메모에 넣었다. 관리자는 출처를 확인했다고 기록했다. 소개문은 저자가 보고한 연산 수의 계수 개선으로 범위를 한정하고, 원 논문이 제기한 문제의 해결과 구분했다.

이 참고 자료 등록에서 Lean 증명을 컴파일하지는 않았다고 변경안에 명시했다. 메모에는 해당 저자가 AI 에이전트를 지휘해 회로·증명·설명문을 만들었으며 사람이 한 줄씩 검토하지는 않았다고 밝힌 내용도 남겼다. 참고 자료를 받아들이며 확인한 범위를 좁혀 기록했다.

오픈AI도 원본 저장소에서 결과마다 검증 단계가 다르며 모든 원고에 Lean 형식 증명이 붙은 것은 아니라고 설명한다. 형식화되지 않은 결과에는 문제가 있을 수 있다고 적었다. 수정본을 새 버전으로 기록하고 이전 공개본도 계속 접근할 수 있게 보존한다는 방침이다.

프로젝트의 기여 이력에는 날짜·기여자 계정·바뀐 내용·변경안 링크가 남는다. 이 기록이 논문 페이지와 전체 활동 목록에 표시된다. 언어 모델이나 증명 보조 도구를 상당히 사용했다면 그 사실도 공개하도록 했다. 참여자는 실명 대신 별도 깃허브 계정을 쓸 수 있다.

오류를 알리는 양식에서는 관리자에게 AI 도구로 수정 초안을 만들도록 허용할지도 제출자가 선택한다. 허용 여부와 관계없이 제안된 변경은 사람이 검토하도록 안내한다.