OpenAI 모델, 80년 된 Erdős 추측 반증 및 수학적 Merge 능력 증명

Context

1946년부터 제기된 Erdős unit-distance conjecture는 평면 내 n개 점의 단위 거리 개수가 n^(1+o(1))로 제한된다는 가설임. 기존 수학자들은 Gaussian integers 기반의 대수적 구조 내에서 접근했으나, 고정된 필드 내의 변수 변경만으로는 기존의 상한선을 넘지 못하는 병목 현상을 겪음.

Technical Solution

• Field degree를 무한히 확장하는 Tower of fields 접근법 채택을 통한 구조적 돌파구 마련
• 기존의 Fixed field 내 Prime 변경 방식에서 탈피하여 Prime을 고정하고 Field 자체를 가변하는 역발상 설계 적용
• Golod-Shafarevich(1964), Ellenberg-Venkatesh(2007), Hajir-Maire-Ramakrishna(2021) 등 서로 다른 시기의 도구들을 통합한 Multi-domain Merging 구현
• Chain-of-Thought 과정을 통해 증명이 아닌 Counterexample 생성에 집중하여 가설의 논리적 결함 식별
• 인간 전문가의 심리적 저항선(Social Cost)과 전문 분야의 제약을 배제한 광범위한 Pattern-matching 수행