수학 및 이론 컴퓨터과학의 10가지 성과

OpenAI가 최소 10년 이상 주요 진전이 없던 수학·이론 컴퓨터과학 문제 10개에 대한 새로운 결과를 공개했다. 연구 분야는 고차원 기하학, 부호 이론, 군론, 연산자 대수, 양자 복잡도, 격자 암호, 극한 조합론 등을 아우른다.

해결 과정에는 차세대 모델 Astra의 내부 버전이 사용됐다. OpenAI는 각 문제의 해법을 찾는 데 필요한 총 토큰 비용이 Sol API 기준 약 2,000달러였으며, 이후 사람이 원고를 정리하고 모델이 각 논증을 Lean 인증서로 형식화했다고 설명했다.

공개된 주요 결과는 다음과 같다.

• 고차원 구면 패킹 밀도의 상한을 Cohn–Elkies 임계값까지 개선
• 이진 코드와 고차원 구면 코드의 최대 크기에 대한 지수적 개선
• 비소픽 군의 존재를 보이는 구성 제시
• 특정 군이 폰 노이만 대수로 유일하게 결정된다는 Connes 강직성 추측 반증
• 영구행렬 계산을 위한 산술 회로·공식의 새로운 하한 도출
• 일반적인 2인 양자 게임에 대한 지수적 병렬 반복 정리 제시
• 최근접 벡터 문제의 다항식 수준 근사 난이도 증명
• 유일한 내부 격자점을 갖는 볼록체의 최대 부피를 모든 차원에서 결정
• 다색 삼각형 Ramsey 수에 대한 초지수적 하한 도출
• 극한 그래프 이론의 compactness 및 degeneracy 추측에 대한 결과 제시

OpenAI는 AI가 생성한 증명에 인간 저자만을 표기하는 것은 시스템의 기여와 인간 지적 작업의 성격을 왜곡할 수 있다고 밝혔다. 회사는 원고 작성과 Lean 형식화를 지원하고 결과의 정확성에 책임을 지되, 수학적 논증 자체는 모델이 생성했다고 설명했다.