인공지능 기반 수학적 대전환과 ‘매스포칼립스(Mathocalypse)’ 현상 분석

2026년 10월 6일 OpenAI의 372개 수학·이론컴퓨터과학·수리물리학 난제 대량 공개를 둘러싼 ‘매스포칼립스(Mathocalypse)’ 논의를 정리합니다. 공개 목록에는 유일 게임 가설(UGC) 증명, L=BPL, 정수 곱셈과 이산 푸리에 변환의 O(n log^0.999… n) 시간 복잡도, 행렬 곱셈 O(n^{9/4}), 패리티의 QAC^0 비포함, 무작위·양자 쿼리 복잡도 분리, 민감도와 블록 민감도 분리, 유리수체 위 힐베르트 10번 문제 등이 포함됐다고 전합니다. 다만 P≠NP, P=BPP, NEXP⊄P/poly, 리만 가설, 호지 예상, BSD 예상 등 최상위 난제는 미해결이거나 부분 진전에 그쳤다고 정리합니다. AI 증명 문서는 기존 논문과 달리 불분명한 인용, 선행 연구 나열, 독특한 리커시브 트리 기반 코드를 섞은 ‘외계적’ 형태라 인간이 읽고 검증하기 어렵다고 합니다. 이에 연구자들은 또 다른 AI 도구를 동원해 증명 구조를 해독하는 새로운 연구 패러다임에 들어섰고, Lean 검증서가 있어도 자연어 논문과 형식 검증 사이의 불일치 가능성은 남는다고 짚습니다. 또한 OpenAI의 비정제 대량 공개 방식과 Anthropic의 선택적 협업·정제 발표 방식을 비교하며, 전자는 즉시 개방되지만 해독 노동을 요구하고 후자는 읽기 쉬운 대신 사기업이 대변인 선택권을 갖는다는 쟁점을 다룹니다. 스콧 아론슨과 다나 모스코비츠의 사례, 학계의 우울·패닉·수용 반응, ‘안개 속 외딴 산’ 비유와 ‘망원경·가이드’ 비유도 소개합니다. 이 영상은 AI가 수학 연구의 역할과 정체성을 어떻게 바꾸는지, 그리고 인간 수학자의 해독자·해설자 전환 가능성을 함께 살펴봅니다. 출처 Shtetl-Optimized » Blog Archive » The Mathocalypse https://scottaaronson.blog/?p=10169 ※ 본 영상은 위 원문만을 바탕으로 구성한 설명 영상이며, 전망·추정·루머·회사 관련 주장과 수치는 원문 저자에게 귀속됩니다.