OpenAI의 미공개 모델 'Astra', 에르되시 문제 등 수학적 난제 해결

요약

2026년 5월 20일, OpenAI는 내부 AI 모델이 1946년 폴 에르되시가 제기한 '단위 거리(unit distance)' 문제에 대한 반례를 발견했다고 발표했다. 이는 AI가 도출한 최초의 역사적으로 유의미한 증명 사례로, 기존 수학 분야에서는 시도하지 않았던 혁신적인 접근 방식을 제시했다. 이후 8월 1일, OpenAI는 미공개 모델인 Astra가 에르되시가 제기한 추가 문제 3개를 포함해 10가지 수학적 진전을 이뤄냈다고 밝혔다. 수학계에서는 이러한 성과를 두고 AI 모델의 수학적 능력에 있어 '상전이(phase transition)'가 일어났다고 평가한다. 프린스턴 대학의 노가 알론 교수는 이러한 AI의 발전이 수학 연구 방식을 근본적으로 변화시키고 있다고 언급했다.

AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.