방금, GPT-6 Astra가 골드바흐 추측에서 중대한 돌파구를 마련했습니다!

GPT-6 Astra가 단 두 페이지, 이틀 만에 인류를 약 300년간 괴롭혀온 위업을 달성했습니다. 골드바흐 추측의 리우빌 약화 버전을 조건 없이 증명하여 모든 짝수에 대해 성립함을 보였으며, Lean 4 형식 검증을 통과해 결함이 전혀 없습니다. 더욱 놀라운 것은 이것이 연산력 압도가 아니라 인간 수학자들조차 감탄하는 우아한 논리 덕분이라는 점입니다.

수학계의 중대한 돌파구!

최근 GPT-6 Astra가 골드바흐 추측에서 새로운 진전을 이루었습니다.

네티즌 Captain Sude가 발표했습니다: Astra가 리우빌 함수에 관한 골드바흐 유사 추측을 성공적으로 증명했습니다!

구체적으로, 골드바흐 추측의 리우빌 약화 버전을 조건 없이 증명했습니다.

더욱 놀라운 것은, 우리의 상상과 달리 이번에 Astra는 단순히 막대한 연산력으로 밀어붙인 것이 아니라 매우 우아한 논리적 추론을 수행했다는 점입니다.

게다가 이 증명은 현재 Lean 4 형식 검증을 통과했습니다.

손에 넣을 수 없는 진주

그 전까지 골드바흐 추측이라는 유령은 인류 수학자들을 거의 3세기 동안 괴롭혀왔습니다.

1742년, 골드바흐는 오일러에게 보낸 편지에서 이 추측을 제기했습니다: "2보다 큰 모든 짝수는 두 소수의 합으로 나타낼 수 있다."

이를 위해 수많은 사람이 심혈을 기울였습니다. 하디, 리틀우드부터 천징룬의 '1+2' 증명까지, 인류는 여전히 왕관의 진주인 '1+1'을 손에 넣지 못했습니다.

소수의 분포가 너무나 기이하기 때문입니다!

직접 공략이 통하지 않자 수학자들은 기발한 발상으로 '대체 이론'을 고안했습니다. 바로 리우빌 버전의 골드바흐 추측입니다.

소수를 모방하기 위해 수학자들은 리우빌 함수라는 놀라운 도구를 도입했습니다.

이 함수는 로 표기하며, 여기서 는 숫자가 포함하는 소인수의 총 개수를 나타냅니다.

그 규칙은 '홀짝'만 인식하는 스위치와 같습니다. 어떤 수가 포함하는 소인수의 개수가 짝수이면 λ(n)=1입니다.

포함하는 소인수의 개수가 홀수이면 λ(n)=-1입니다.

모든 소수(예: 2, 3, 5, 7, 11)의 리우빌 함수 값은 반드시 -1입니다! 그러나 그 역은 성립하지 않습니다. 예를 들어 8, 12의 λ 값도 -1입니다.

2018년, 유명 수학 포럼 MathOverflow에서 누군가 약화된 골드바흐 추측을 제기했습니다:

2보다 큰 모든 짝수 N에 대해, N=a+b이고 λ(a)=λ(b)=−1을 만족하는 두 양의 정수 a와 b를 항상 찾을 수 있는가?

고전적인 골드바흐 추측이 옳다면, 이 두 소수의 리우빌 값은 반드시 모두 -1이므로 이 '리우빌 추측'도 반드시 옳습니다.

하지만 이제 수학자들은 조건을 완화했습니다: 더하는 수가 반드시 소수일 필요는 없고, 소인수의 개수가 홀수이기만 하면 됩니다!

리만 가설의 그늘에서 벗어나: AI가 제시한 경이로운 두 페이지

조건을 완화했으니 증명하기 쉬울까요? 결과적으로 여전히 엄청나게 어렵습니다!

문제의 핵심은 수학자들이 이렇게 양과 음이 교차하는 부호가 덧셈 조합에서 동전 던지기처럼 서로 상쇄되는지 연구하여 덧셈 아래 숨겨진 심층 질서를 밝히고자 한다는 점입니다. 이는 수학에서 '곱셈 구조'와 '덧셈 구조'를 잇는 다리를 구축하는 데 중요합니다.

2024년이 되어서야 수학자 Alexander P. Mangerel이 마침내 돌파구를 마련했습니다. 한 논문에서 그는 충분히 큰 모든 짝수에 대해 이 추측이 성립함을 증명했습니다.

링크: https://arxiv.org/abs/2404.12117

하지만! 그의 증명에는 두 가지 제한이 따릅니다.

1. '충분히 크다': 이는 비교적 작은 짝수들을 포함하지 않는다는 의미입니다.

2. 'GRH': 그의 증명은 일반화 리만 가설(GRH)에 심각하게 의존합니다. 즉, 일반화 리만 가설이 성립한다는 전제 하에서만 그의 결론이 성립합니다.

그런데 이번에 Astra와 Captain Sude 팀이 이 두 족쇄를 직접 돌파했습니다!

처음에 Astra는 단 2페이지짜리 PDF를 내놓았습니다.

이 간결한 논문에서 Astra는 다음과 같이 선언했습니다.

일반화 리만 가설 없이도, 4로 나누어 떨어지는 모든 양의 정수는 리우빌 값이 -1인 두 양의 정수의 합으로 표현될 수 있음을 조건 없이 증명할 수 있습니다!

PDF에서 Astra는 Mangerel 논문의 '조건 없는 상관 경계'를 교묘하게 활용하고, 극도로 정교한 하강법을 결합했습니다.

정리의 핵심 논리는 귀류법을 사용합니다: 3으로 나누어 떨어지지 않는 홀수 m이 존재하고, 4m 규모에서 합이 4m이면서 리우빌 값이 모두 -1인 숫자 쌍이 없다고 가정합니다.

다음으로 Astra는 한 걸음씩 압박해 들어갑니다.

1. 4를 곱해도 리우빌 값이 변하지 않으므로, m 자체도 리우빌 값이 -1인 두 수로 분해될 수 없습니다.

2. 2를 곱하면 리우빌 값이 뒤집히므로(소인수 2가 하나 추가됨), 2m은 리우빌 값이 1인 두 수로 분해될 수 없습니다.

3. 이어서 AI는 a+b=m이고 λ(a)=λ(b)=1인 경우를 구성하고, 차이 b−a가 최소인 쌍을 선택하여 이들과 3의 나누어떨어짐 관계를 이용해 모순을 강제로 도출합니다!

4m에 그러한 분해가 없다고 가정하면, 곱셈과 덧셈의 교차 근사를 통해 결국 특정 범위에서 모든 숫자가 반대 부호를 갖도록 강제되며, 이는 Mangerel이 이전에 증명한 경계에 직접적으로 위배된다는 것을 발견했습니다.

이렇게 단지 초등 대수적 전개(고등학생도 전개 과정을 이해할 수 있는)만으로 Astra는 조건 없이 성립하는 경우를 발견했습니다.

48시간 만에 전체 짝수 영역 완전 종결

게다가 아직 끝나지 않았습니다.

프로젝트 저자 Captain Sude에 따르면, Astra는 첫날 '4의 배수' 경우를 증명한 후, 둘째 날 완전히 새로운 초등 증명 경로를 찾아 결과를 2보다 큰 모든 짝수로 직접 일반화했습니다!

이번에 제시한 핵심 주장은 다음과 같습니다:

여기에는 '충분히 크다'는 제한도, 유한 예외 집합도 없으며, 모든 짝수에 대해 조건 없이 성립합니다!

그 증명 아이디어는 더욱 감탄을 자아냅니다.

무차별 대입도, 기존 해석적 추정을 더 압축하는 것도 아닌, 멋진 '구조 변환'을 사용했습니다.

AI의 논리 사슬은 다음과 같습니다.

1단계: 반례 찾기. AI는 먼저 3보다 큰 모든 소수 p에 대해, 2p=u+v이고 리우빌 값이 모두 1인 양의 정수 u, v가 존재함을 증명합니다. 성립하지 않으면 어떻게 될까요? 이는 '덧셈 부호 패턴의 부재'를 구성합니다.

2단계: 모순 도출. 리우빌 함수를 유한체 Fp로 확장하여 함수 G를 정의합니다. 앞서 '덧셈 분해가 존재하지 않음' 때문에 이 함수 G는 국소적으로 곱셈 대칭성 결함(Defects)을 갖게 됩니다.

3단계: 완벽한 교환 법칙. 이것이 증명에서 가장 놀라운 부분입니다! -2를 곱한 다음 -3을 곱하는 것과 -3을 곱한 다음 -2를 곱하는 것이 같기 때문입니다. AI는 이 '교환 가능' 성질을 이용해 두 경로가 서로 상쇄되도록 하여, 결국 모든 0이 아닌 결함을 제거합니다!

4단계: 전체로 전파. 하강 보조정리를 이용해 국소적으로 성립하는 곱셈 규칙을 바이러스처럼 전체 유한체로 전파하여, 함수 G가 전역적으로 엄격한 곱셈 대상이 되도록 강제합니다.

5단계: 결정적 단계(이차 잉여로 모순 생성). G가 엄격한 곱셈 함수가 되었으므로, 어떤 수의 제곱이든 그 G 값은 1이어야 합니다. 그러나 이차 상호 법칙에 따르면, 유한체 내에서 소수 ℓ을 찾을 수 있는데, 이는 분명히 '제곱수'이지만 소수이기 때문에 그 자체의 리우빌 값은 -1이어야 합니다.

따라서 1 = -1. 모순 발생!

이로써 처음의 '분해가 존재하지 않는다'는 가정은 완전히 무너집니다. Liouville–Goldbach 추측은 전체 짝수 영역에서 조건 없이 성립합니다!

덧셈의 장애를 곱셈의 강성으로 변환하는 이 논증 경로는 정말 우아하며, 고도의 추상화와 직관을 갖춘 최상위 사고를 보여줍니다.

Lean 4 형식 검증 통과

이번에 Astra는 Lean 4의 완전한 형식 검증도 동시에 제출했습니다.

Lean 4 검증을 통과했다는 것은 논리적으로 절대적으로 옳다는 것을 의미합니다.

즈후(知乎)의 UP주 @SUNNY99는 즉시 Astra가 오픈소스로 공개한 v1.0.0 버전을 독립적으로 재검토했습니다. 결과는 충격적입니다: Lean 증명이 완벽하게 다시 컴파일됩니다!

최종 정리는 논문의 주장과 완전히 일치합니다. 코드에는 'sorry'(Lean에서 채워지지 않은 구멍을 의미)가 없고, 임의로 만든 사용자 정의 수학 공리도 없으며, 모든 공리 의존성이 완전히 정상이고, 249개 짝수에 대한 수치 스모크 테스트가 모두 통과했습니다.

여기까지 읽으면 어떤 분들은 이렇게 물을 수 있습니다: 그렇다면 이것이 골드바흐 추측이 완전히 해결되었다는 뜻인가요?

엄밀히 말하면: 아직 아닙니다.

현재 해결된 것은 골드바흐 추측의 리우빌 약화 버전입니다.

'소인수 개수가 홀수인 합성수'에서 '순수한 소수'로 건너가는 데는 여전히 넘을 수 없는 간극이 있습니다. 고전적인 골드바흐 추측은 여전히 높이 매달린 과일입니다.

하지만 이것이 이번 돌파구가 위대하지 않다는 의미는 결코 아닙니다.

첫째, 순수 수학적 의미에서 이는 정수론 전체에 '곱셈 구조'와 '덧셈 구조'를 잇는 웅장한 다리를 놓았습니다.

이는 미래에 원래 골드바흐 추측을 정복할 핵심 열쇠가 될 수 있습니다.

둘째, AI의 의미에서 이는 역사적인 특이점입니다.

그동안 우리는 AI가 방대한 암기와 무차별 대입에 능하다고 생각했습니다. 바둑이나 단백질 접힘 계산처럼요. 하지만 이번에 Astra는 놀라운 수학적 직관과 취향을 보여주었습니다.

마치 재능이 뛰어난 수학자처럼, 인간 수학자들이 우아하다고 감탄하는 증명을 작성했습니다.