AI 요약
스콧 애런슨이 자신의 블로그에서 OpenAI가 발표한 372개의 수학적 성과 중 하나로 서브하시 코트의 유니크 게임 추측(UGC) 증명이 포함되었다고 전한다. 그의 아내이자 복잡성 이론가인 데이나 모쉬코비츠가 평생 연구해온 문제가 AI에 의해 해결되었으며, Lean 인증서가 존재하지만 아직 어떤 인간도 이 증명을 이해하지 못한 상태다. 모쉬코비츠는 증명이 사이키델릭한 느낌이며 AI 도움 없이는 읽을 수 없다고 평가했다.
핵심 포인트
- OpenAI가 2026년 10월 5일 372개의 주요 수학적 결과 발표, 그 중 UGC 증명 포함
- UGC는 많은 최적화 문제가 NP-난해함을 함의하는 중요한 추측
- Lean 인증서가 존재하나 인간이 이해한 증명은 아직 없음
- 모쉬코비츠는 증명이 새로운 기괴한 코드와 재귀적 구성을 발명했으며, 기존 long code나 short code가 아니라고 평가
향후 전망
- AI가 생성한 수학 증명을 인간이 이해하고 검증하는 새로운 연구 분야 부상
- 수학계의 연구 방식과 직업적 정체성에 대한 근본적 변화 예고
출처:hackernews