학계가 남긴 미해결 문장

오픈AI의 공개 자료에 따르면 일괄 공개된 논문 중 Lean 형식화를 갖춘 것은 약 300편에 그쳤습니다. 프린스턴의 피터 사낙은 인간이 검증하고 이해하기 전에는 정리라 부르지 않겠다는 입장을 밝혔습니다. MIT의 저스틴 서덜랜드도 모델이 공개되고 재현되기 전까지는 미검증으로 취급하겠다고 전했습니다.

필즈메달리스트 28명의 선언

출처: 조사 출처

노벨상 수상자와 필즈메달리스트 28명은 2026년 9월 11일 Zenodo에 선언문을 공유했으며, 문서에는 doi:10.5281/zenodo.22737750이 기록돼 있습니다. 선언문은 기업이 발표한 수학적 결과를 학계의 검증 절차와 분리해 평가하지 않겠다는 취지를 강조했습니다. 검증 그룹은 오픈AI의 발표가 인증이 아니라고 명시했습니다.

당사자조차 남긴 단서

오픈AI 발표문에 따르면 회사 자체가 공개 자료를 raw data로 규정하며 결과의 확립을 주장하지 않았습니다. '과학 난제를 풀었다'는 표현은 당사자의 공식 서술보다 강하게 나온 헤드라인 수준의 축약이라는 점이 자료에서 드러납니다.

통념과 어긋나는 공개 기록

AI가 과학 난제를 해결했다는 통념적 전제는 하루 만에 3편 철회·14편 수정이라는 공개 기록과 어긋납니다. 논문 일괄 공개 자체는 사실이지만, 그 내용이 정립된 결과라는 해석은 형식화 비율과 철회 기록이 뒷받침하지 않습니다. 다만 이번 일괄 공개가 검증 문화를 어떻게 바꿀지는 아직 확인되지 않았습니다.

이번 사례가 일회성 논란인지 아니면 기업 주도 수학 연구의 구조 전환인지는 몇 분기의 관측이 더 필요합니다. 학계의 독립 검증과 재현 결과가 나오는 시점이 결과의 성격을 가릴 지점입니다. 이번 발표의 사실 관계는 대체로 사실이지만, 그 해석은 아직 열려 있습니다.