오픈AI(OpenAI)가 1946년 제기된 이산 기하학 질문인 에르되시 단위 거리 문제를 해결했습니다(OpenAI Blog). 인공지능이 대수적 수론과 기하학적 구조를 결합해 80년간 풀리지 않던 증명을 이뤄냈다는 점에서, 순수 수학 연구의 주도권이 기계 추론으로 넘어가는 변곡점을 의미합니다(Startup Fortune).
오픈AI의 모델은 최소 $n^{1+\delta}$ 단위 거리 쌍을 생성하는 무한한 구성을 발견해 기존 선형 가설인 $n^{1+o(1)}$을 반증했습니다(OpenAI Announcement). 해당 증명은 린(Lean) 보조 도구로 검증되었고 노가 알론 등 전문가 검토를 통과했습니다(AutoGPT.net). 이 성과는 오픈AI가 2026년 3월 당시 1,220억 달러의 역대 최대 벤처 투자를 유치한 직후 공개되었습니다(기업 보도자료).
고도화된 성능은 안전성 검증 요구를 수반합니다. 오픈AI는 2026년 5월 당시 영국 인공지능 안전 연구소(AISI, 첨단 AI 모델의 안전성을 평가하는 국가 기관) 정렬 프로젝트에 560만 파운드를 기부했고, 위험 대비를 위해 영국과 미국 기관에 사전 접근권을 부여했습니다(UK Government). ZDNet 보도에 따르면 2026년 5월 당시 영국 AISI 테스트에서 GPT-5.5가 32단계 기업 네트워크 침해 벤치마크를 통과했습니다.
자율적 수학 증명이 가능한 모델의 추론 가속화는 국가 안전 기관의 강도 높은 사전 레드팀(Red-teaming) 검증 시간과 충돌하며 실제 배포 일정의 핵심 병목이 될 것입니다.