GPT-5.4 Pro: 비중심 측도에 대한 GCI의 반례

GPT-5.4 Pro, 비중심 가우시안 측도 가설에 반례 발견

GPT-5.4 Pro 모델은 가우시안 상관 불평등(GCI)을 비중심 가우시안 측도로 확장하는 가설에 대한 반례를 생성했습니다. 세 페이지 분량의 논문 형식으로 작성된 이 해결책은 2026년 3월 12일 solveall.org 플랫폼에 의해 수락되었습니다. 이 반례는 가우시안 분포의 평균을 이동시켰을 때 불평등이 성립한다는 가정을 반증합니다.

가우시안 상관 불평등: 역사와 본질

GCI는 중심 가우시안 분포에 대해 공식화됩니다: 두 대칭 볼록 집합의 교집합 확률이 각각의 주변 확률의 곱 이상입니다. 2차원 경우는 1977년 Loren Pitt이 증명했습니다. 임의 차원에 대한 완전한 증명은 2014년 Thomas Royen이 제시했는데, 간단하고 우아하지만 처음에는 학계에서 저평가되었습니다.

2025년 Shehei Nakamura와 Hiroshi Tsuji는 공통 가우시안 무게중심을 가진 집합으로 결과를 일반화했습니다. 평균이 원점과 일치하지 않는 임의의 비중심 가우시안 측도에 대한 문제는 미해결 상태로 남아 있었습니다.

GPT-5.4 Pro의 반례

모델은 2차원 반례를 구성했습니다: 거의 평행한 두 대칭 스트립으로, 가우시안 평균을 이동시켜 스트립들의 교집합 확률이 개별 확률의 곱보다 낮아지도록 했습니다. 이 구성은 기하학적 직관을 활용합니다—평균의 이동으로 교집합 확률이 극한에서 급격히 감소합니다.

이 반례는 n ≥ 2 차원으로 일반화됩니다. 1차원 경우에는 모델이 불평등이 성립함을 증명했습니다: 선상의 대칭 볼록 구간들은 서로 내포됩니다.

해결책은 LaTeX로 전체 논문 형식으로 작성되었으며, 정의, lemma, 극좌표와 극한 논증을 통한 증명, 그리고 참고문헌을 포함합니다.

solveall.org 플랫폼과 맥락

Solveall.org는 확률론 및 관련 분야의 오픈 문제들을 큐레이션한 컬렉션으로, Wharton School of Business의 Edgar Dobriban이 만들었습니다. 이 플랫폼은 AI 추론의 벤치마크 역할을 합니다. GCI 문제는 추가된 이후 미해결 상태였습니다.

해결책은 Liam Price 사용자가 제출했으며, GPT-5.4 Pro에 의한 생성과 다른 모델들의 검증을 확인했습니다.

GPT-5의 이전 성공 사례

GPT-5 시리즈는 수학 문제 해결에서 진전을 보여줍니다:

• 2026년 1월: GPT-5.2 Pro가 Erdős 문제 #728(팩토리얼 나누기성)을 해결.
• 2026년 3월: GPT-5.4가 Bartosz Naskrencki의 FrontierMath 문제(20년 개발)를 해결.

GCI 반례는 창의적인 접근으로 돋보입니다: 계산이 아닌 전통적으로 인간 직관을 요구하는 기하학적 구성입니다. 이 문제는 2025년 이후 상대적으로 미탐구된 손쉬운 목표였으며, 기본적인 방법으로 풀 수 있었습니다.

주요 교훈

• GPT-5.4 Pro가 대칭 스트립을 사용한 2차원 반례로 비중심 측도에 대한 GCI 가설을 반증.
• 구성은 n ≥ 2로 일반화; 1차원에서는 불평등 성립.
• 극좌표와 극한을 사용—기본 기법.
• Solveall.org가 수학 분야 AI 벤치마크로 검증.
• AI에서 계산 중심에서 기하학적 사고로의 전환을 강조.

이 사례는 현대 모델이 brute force가 아닌 통찰력을 요구하는 문제를 어떻게 다루는지 보여줍니다. AI 개발자들에게 이런 플랫폼에서의 테스트는 점점 더 중요해지고 있습니다.

— Editorial Team