오픈AI "상용 모델 'GPT-5.6 솔 울트라'로 50년 수학 난제 증명 생성"

오픈AI가 일반에 공개한 상용 AI 모델로 50년 넘게 풀리지 않던 수학 난제의 증명을 생성했다고 발표했다. 아직 수학계의 독립적인 검증 절차가 남아 있지만, 그동안 연구용 내부 모델에서만 가능했던 최첨단 연구 능력을 상용 모델로 확장했다는 점에서 주목된다.에단 나이트 오픈AI 연구원은 11일(현지시간) X를 통해 전날 정식 출시한 'GPT-5.6 솔 울트라(Sol Ultra)'가 그래프 이론의 대표적인 미해결 문제인 '사이클 이중 덮개 추측(Cycle Double Cover Conjecture)'의 증명을 생성했다고 밝혔다.그에