리먼 가설 입증해
오픈AI의 모델은 인간 수학자들의 고정관념을 깨부쉈습니다. 바둑판 같은 기하학적 접근이 아니라, 전혀 예상치 못한 대수적 수론(Algebraic Number Theory) 기법을 가져와서 점들을 배치하는 완전히 새로운 대수적 구조의 체계를 찾아냈습니다.
이 방식을 쓰면 거리가 1인 쌍의 개수가 에르되시의 제한선보다 훨씬 더 가파르게 증가하는 규칙(n^{1+\delta}, 여기서 \delta는 양의 상수)을 만족하는 점들의 집합이 존재한다는 것을 증명해 냈습니다. 즉, "에르되시의 추측이 틀렸다"는 것을 새로운 반례(Counterexample) 집합을 설계함으로써 완벽히 증명한 것입니다.
====
2. 아직 풀리지 않은 난제들 (6개)
남은 6개 문제는 전 세계의 수학자들과 최근에는 고도의 추론 능력을 갖춘 AI까지 덤벼들고 있지만, 여전히 철옹성처럼 버티고 있습니다.
① 리만 가설 (Riemann Hypothesis)
내용: 소수(1, 3, 5, 7, 11 등)가 배열되는 규칙성에 관한 난제입니다. 수학계에서 '가장 아름답고도 무서운 파괴력을 가진 난제'로 꼽힙니다.
② P 대 NP 문제 (P vs NP Problem)
내용: 컴퓨터 과학과 수학의 경계에 있는 문제입니다. 쉽게 말해 "답을 확인하기 쉬운 문제는 처음부터 풀기도 쉬울까?"라는 질문입니다. 이 문제가 풀리면 현대 컴퓨터 암호 체계의 판도가 뒤바뀔 수 있습니다.
③ 나비에-스토크스 방정식의 존재성과 매끄러움 (Navier–Stokes Existence and Smoothness)
내용: 공기의 흐름이나 파도, 담배 연기 같은 '유체(액체와 기체)의 움직임'을 설명하는 방정식입니다. 실생활에서 널리 쓰이고 있지만, 이 방정식의 완벽한 수학적 해가 항상 존재하는지는 아직 증명되지 않았습니다.
④ 양-밀스 이론의 존재와 질량 간극 가설 (Yang–Mills Existence and Mass Gap)
내용: 물리학의 양자역학과 수학을 연결하는 난제입니다. 원자핵 내부의 미시 세계를 설명하는 이론에 수학적으로 빈틈이 없음을 증명하고, 왜 입자들이 '질량'을 가지게 되는지 수학적으로 밝혀내야 합니다.
⑤ 호지 추측 (Hodge Conjecture)
내용: 기하학적 모양을 더 단순하고 다루기 쉬운 대수적인 조각들로 조립해서 설명할 수 있는가에 대한 고차원 대수기하학 문제입니다.
⑥ 버치-스위너턴다이어 추측 (Birch and Swinnerton-Dyer Conjecture)
내용: 타원곡선(특정한 형태의 방정식)을 만족하는 유리수 해가 얼마나 많이 존재하는지를 판별하는 간단한 규칙이 정말 존재하는가에 대한 문제입니다.
2000년에 발표된 이후 4반세기가 넘는 시간이 흘렀지만, 인류는 오직 '푸앵카레 추측'이라는 성벽 하나만 허문 상태입니다.