OpenAI가 자체 추론 모델을 통해 1946년부터 풀리지 않았던 기하학적 추측을 증명했다고 발표했어요. 이전에는 오류가 발견되어 논란이 있었지만, 이번에는 관련 수학자들의 검증을 통과했어요. 이로써 OpenAI의 모델이 복잡한 수학 문제 해결 능력도 갖췄음을 입증했어요.
모델은 '아직 이름이 없는' 추론 모델로, 1946년 이후 수학자들을 괴롭혀온 '보조비치 추측'을 증명하는 데 사용됐어요. OpenAI는 이 모델이 인간 수학자보다 더 빠르고 정확하게 문제를 해결할 수 있다고 설명했어요.
이번 성과는 OpenAI의 AI 모델이 단순한 텍스트 생성뿐 아니라 고도의 추론 능력도 갖추고 있음을 보여주는 중요한 사례로 평가받고 있으며, 수학 연구 분야에도 새로운 가능성을 열어줄 것으로 기대돼요.