OpenAI의 대규모 수학 논문 공개가 학술 수학자들의 직업 불안을 야기하다

2026년 10월 6일 저녁, OpenAI는 테크노로지 매체 Unite.AI에 따르면 미공개 내부 모델로 생성된 722개의 수학 논문을 포함한 공개 저장소를 개설했다. 회사는 해당 시스템에 약 4,000개의 미해결 문제를 제시했고, 공개할 가치가 있다고 판단한 부분집합만 공개했으며, 대수학, 수론, 위상수학, 이론 컴퓨터 과학, 수학 논리에 걸쳐 있다고 밝혔다.

OpenAI가 공개한 것

Unite.AI에 따르면, 내부 모델의 훈련은 2026년 8월 28일에 시작되었고, 평가 실행은 9월 1일에 시작되었다. 해당 모델은 9월 5일경 나비에-스토크스 특이점 문제를 다루는 Lean 형식화 증명을 생성했다고 보도되었으며, 이는 클레이 수학 연구소의 7개 밀레니엄 상 문제 중 하나다. OpenAI는 9월 8일에 결과를 공개적으로 발표했으며, 관련된 100만 달러의 상금을 청구하지 않겠다고 밝혔다. Fortune은 OpenAI가 10월 6일 배치에서 다른 3개의 밀레니엄 상 문제에 대해 완전히 해결하지 않으면서 부분적인 진전을 주장했다고도 보도했다.

모든 논문이 기계 확인 검증을 동반하지는 않았다. Unite.AI는 많은 논문이 Lean 증명 보조기에서 형식화를 포함하고 있지만 모두 그런 것은 아니라고 지적했으며, 형식화되지 않은 결과는 숨겨진 오류의 더 높은 위험을 지닌다고 설명했다. Fortune은 OpenAI가 10월 8일까지 오류가 발견된 후 이미 발표된 솔루션 3개 이상을 철회했다고 보도했다.

필즈상 수상자가 울었다고 말하다

이번 공개는 일부 연구자들에게 개인적으로 타격을 입혔다. 프랑스 언론 SenePlus는 통계 물리학에서 상전이에 관한 연구로 2022년 필즈상을 받은 휴고 데미닐-코팽이 OpenAI가 해결했다고 주장하는 문제 중에서 자신의 미해결 연구 질문 16개를 발견했으며, 회사가 효과적으로 그 연구 라인을 끝내버렸다고 말했다고 보도했다. 그는 10월 6일 화요일 밤부터 10월 7일까지 울었으며, 딸을 깨울 정도였다고 말했다.

SenePlus에 따르면, 데미닐-코팽은 10월 8일 프랑스 수학회가 주최한 화상 회의에서 연구자의 목표는 정리를 증명하는 것뿐만 아니라 다른 인간을 위한 이해를 만드는 것이라고 주장했다. 그는 특히 초기 경력 수학자들에 대해 우려했으며, 동료들 사이에서 아이디어와 부분적인 결과를 공유하는 비공식적 문화가 수학자들이 경쟁 압력으로 인해 작업을 보류하기 시작하면서 붕괴될 수 있다고 우려했다.

수학자들이 반발하다

이번 공개는 인간 수학 협회(AHM)의 공개 성명을 촉발했다. 이 단체의 통신 워킹 그룹은 10월 7일에 수학자 테렌스 타오의 블로그에 게스트 기고로 게시했다. 성명은 수학자들이 이 작업 집합을 요청하지 않았으며 OpenAI가 수학 및 인공지능 자문 그룹의 사전 지침을 무시했다고 밝혔다. 이 그룹은 AI 회사가 수학적 주장을 어떻게 테스트하고 발표해야 하는지에 대해 조언하는 독립 기관이다. 성명은 700개 이상의 파일을 한 번에 공개하는 것이 신중한 학술 검토보다는 OpenAI의 리소스 규모를 반영한다고 설명했다.

Fortune은 Mastodon에 글을 쓴 테렌스 타오가 이 사건이 그가 '수학 1.0'이라고 부르는 것의 종말을 의미한다고 말했다고 보도했다. 그는 AI 사용자들이 더 이상 자신들이 관심 있는 넓은 분야에 대해 관심이 없는 상태에서 문제를 점점 더 많이 해결하고 있으며, 이 분야는 문제 해결만이 아니라 설명과 커뮤니티 구축에 더 많은 가치를 두어야 한다고 주장했다. 나비에-스토크스 작업에 대해 이전에 우려를 제기했던 뉴욕 대학 수학자 트리스탄 버크마스터는 Fortune이 인용한 뉴욕 타임스에 자신이 발표된 일부 결과가 적절한 크레딧 없이 다른 수학자의 이전 작업을 완성까지 확대했다고 의심한다고 말했다.

컬럼비아 대학 수학자 피터 우아이트는 자신의 블로그 'Not Even Wrong'에 글을 쓰며, 이번 공개가 조직 부족하고 OpenAI가 자문 그룹의 권고를 무시한 후 결과를 분류할 책임을 수학 커뮤니티 자체에 전가했다고 설명했다. 우아이트는 논문 뒤의 시스템을 자신이 'Astra'라고 부르는 모델로 지칭했다. 그의 게시물에 댓글을 단 사람들은 많은 AI 생성 증명이 기술적으로 밀집되어 있지만 올바른 경우에도 수학적 직관이나 새로운 이론적 이해를 거의 제공하지 않는다고 말했다.

새로운 싸움이 아니다

OpenAI와 수학자 사이의 마찰은 10월 공개보다 앞서 있다. TechCrunch는 2025년 10월에 OpenAI 부회장 케빈 웨일이 GPT-5가 이전에 미해결이었던 10개의 에르되시 문제에 대한 솔루션을 발견했으며 다른 11개에 대해서도 진전을 이루었다고 주장하는 글을 게시했다가 나중에 삭제했다고 보도했다. 공개 에르되시 문제 데이터베이스를 유지하는 토마스 블룸은 프레이밍이 극도로 오도적이라고 말하며, 자신의 사이트에 '미해결'로 표시된 문제는 단순히 자신이 발표된 솔루션을 알지 못했다는 의미이지 솔루션이 존재하지 않는다는 의미가 아니라고 설명했다. 그는 GPT-5가 자신이 놓친 기존 참고 자료를 찾았다고 말했다. OpenAI 연구자 세바스티앙 부벡은 나중에 모델이 새로운 발견이 아니라 발표된 문헌에서 기존 솔루션을 찾았다고 인정했지만, 그는 이것이 여전히 가치가 있다고 말했다.

지지자들은 분야가 적응할 수 있다고 말한다

모든 수학자가 이번 공개를 위기로 취급하지는 않았다. Fortune은 토론토 대학 수학자 댄 리트가 이번 발전을 수학에 전반적으로 긍정적이라고 생각하지만, 이 분야가 제도적 지원을 잃지 않도록 사회가 인간 수학자들에게 계속 자금을 지원해야 한다고 주의를 주었다고 인용했다. 리트는 또한 OpenAI가 재래식 논문으로 모든 결과를 작성할 수 있는 충분한 수학자를 고용하지 않는다고 지적했으며, 이것이 공개의 규모와 속도를 설명하는 데 도움이 되지만 그것을 변명하지 않는다고 말했다.

• 722개의 AI 생성 논문이 372개의 문제 패밀리로 정리되어 2026년 10월 6일에 공개되었다(Unite.AI).
• OpenAI는 약 4,000개의 미해결 문제에 대해 모델을 테스트한 후 선택된 부분집합을 공개했다(Unite.AI).
• 최소 3개의 발표된 결과는 오류가 발견된 후 10월 8일까지 철회되었다(Fortune).
• 필즈상 수상자 휴고 데미닐-코팽은 해결된 문제 중에 자신의 16개의 미해결 연구 질문이 있다고 말했다(SenePlus).
• 인간 수학 협회는 수학자들에게 OpenAI와의 협력을 중단할 것을 촉구했다(테렌스 타오 블로그).