27년간 아무도 못 풀었던 수학 난제, AI가 2000달러로 해결했다는 게 사실?
수학이라는 분야는 오랫동안 인간 지성의 최후 보루처럼 여겨졌습니다. 컴퓨터가 체스를 정복하고, 바둑을 제패하고, 단백질 구조를 예측해도 수학의 핵심인 '증명'만큼은 인간 고유의 영역으로 남아 있었습니다. 그런데 2026년 8월, 오픈AI가 자사의 차세대 모델 아스트라(Astra)를 통해 수학·이론컴퓨터과학 분야 미해결 난제 10개에 대한 해법을 제시했다고 발표하면서 그 경계가 흔들리기 시작했습니다. 학계의 동료평가는 아직 남아 있지만, 이 사건이 갖는 구조적 의미는 결과의 옳고 그름과 별개로 이미 충분히 크습니다. 🔢 아스트라가 제시한 해법의 실제 내용과 규모 이번에 오픈AI가 공개한 연구 결과는 단순한 계산 문제 풀이가 아닙니다. 수십 년간 수학자들이 진전을 만들지 못한 구조적 난제들이 대상입니다. 가장 주목받는 성과는 '비소픽군(non-sofic group)'의 실존 증명입니다. 1999년 미하일 그로모프가 이 개념적 가능성을 처음 제기한 이후 약 27년간, 전 세계 수학자 누구도 실제로 그런 군을 구성해내지 못했습니다. 아스트라는 이를 직접 구성하는 방식으로 "존재한다"는 답을 내놓았습니다. 🔐 양자내성암호와 관련된 '최근접 벡터 문제(Closest Vector Problem)'에서는 문제를 정확하게 풀기 어려운 수준의 수학적 근거를 새롭게 제시했습니다. 이 문제는 격자(lattice) 구조 속에서 특정 지점과 가장 가까운 점을 찾는 것인데, 차원이 증가할수록 계산 복잡도가 기하급수적으로 치솟는 특성을 갖습니다. 이 계산 난이도가 바로 양자컴퓨터로도 쉽게 풀 수 없는 암호를 설계하는 이론적 토대가 됩니다. 아스트라의 결과가 특정 암호 시스템의 안전성을 직접 보증하는 수준은 아니지만, 격자 기반 수학의 기초 체계에 새로운 결론을 더했다는 점은 분명합니다. '고차원 구 채우기(sphere packing)' 문제에서는 1978년 이후 처음으로 밀도의 일반적 상한선을 낮추는 결과를 ...