자연어와 검증 체계 사이의 간극

오픈AI 공식 블로그에 따르면 회사는 AI 모델의 수학 진전을 공유하며 난제 풀이 목록을 일부만 형식 증명 언어 리안으로 옮긴 상태로 공개했습니다. 오픈AI 대변인은 약 50%가량이 검증되지 않은 채 공개됐다고 전했습니다. 테크크런치는 719건 중 형식화가 완료된 문서가 42% 수준이라고 보도했습니다.

문제의 핵심은 수학적 오류 자체보다 자연어 서술과 리안 코드의 불일치라는 지적이 학계에서 제기됐습니다. 정확한 검증 비율은 보도마다 엇갈려 GitHub 원 저장소 확인이 필요한 상태입니다.

필즈상 수상자 25인의 서한

출처: 조사 출처

수학계 단체 AGMAI의 권고문에 따르면 필즈상 수상자 25인이 오픈AI의 발표 방식에 우려를 담은 서한에 서명했습니다. AGMAI는 자문 그룹 신설을 제안하며 능력 과장에는 상업적 유인이 작동한다고 지적했습니다. 게브루와 벤더는 MIT 테크놀로지 리뷰 기고에서 같은 취지의 우려를 강조했습니다.

수학자 테런스 타오는 자신의 블로그를 통해 이번 공개물이 모델 개선에 도움됐을 가능성은 배제할 수 없지만 가능성이 낮다는 견해를 밝혔습니다. 개별 논문의 귀속 문제도 학계 비판의 대상이 됐습니다.

같은 공개를 두고 엇갈린 수치

한 가지 전제는 자료의 수치와 어긋납니다. 단일 검증 비율을 기준 삼으면 보도 간 편차가 42%에서 50% 이상까지 벌어져 공개의 실질 완성도를 특정하기 어렵습니다. 같은 기간의 공개 현황을 다루는 수치가 하나로 정리돼 있지 않은 상태입니다.

디지털데일리는 오픈AI가 학계 반발 이후 자문 그룹 신설에 착수했다고 전했습니다. AGMAI 권고문과 서한 명단은 공식 사이트 접근 제한으로 아카이브본을 통해 열람됐으며 원문 전체는 아직 확보되지 않았습니다.

실제 해결 여부는 미확립 상태로 남습니다

난제 풀이의 실제 성립 여부는 학계 검증이 진행 중인 사안으로 아직 확인되지 않았습니다. 오픈AI가 공개 방식을 보완하고 자문 체계가 실질적으로 작동하는지는 몇 달의 관측이 더 필요합니다. 두 요소 모두 독립된 1차 출처로 확인되는 바, 이번 보도는 사실입니다.