OpenAI는 자사의 새로운 추론 모델이 1946년 Paul Erdős가 처음 제기한 유명한 미해결 기하학 추측을 반증하는 독창적인 수학적 증명을 만들어냈다고 밝혔습니다. 눈썹이 치켜올라갔다면, 당신만 그런 게 아닙니다. OpenAI가 이런 대담한 주장을 한 게 처음이 아니니까요. 7개월 전, 전 부사장 Kevil Weil은 X에 "GPT-5가 미해결 Erdős 문제 10개에 대한 해결책을 찾았고, 다른 11개에 대해 진전을 이루었다"고 올렸습니다. 스포일러: GPT-5는 실제로 해결하지 못했습니다. 단지 문헌에 이미 존재하는 해결책을 재발견했을 뿐이었죠. Yann LeCun과 Google DeepMind CEO Demis Hassabis 같은 경쟁자들의 조롱이 이어졌고, Weil은 성급한 게시물을 곧바로 삭제했습니다.
이번에 OpenAI는 같은 실수를 반복하지 않았다고 말합니다. 발표와 함께, 회사는 수학자 Noga Alon, Melanie Wood, 그리고 Erdős 문제 웹사이트를 운영하며 이전에 Weil의 게시물을 "극적인 왜곡"이라고 비판했던 Thomas Bloom의 동반 논평을 게재했습니다. "거의 80년 동안 수학자들은 최적의 해결책이 대략 정사각형 격자처럼 보일 것이라고 믿었습니다," OpenAI는 X에 게시했습니다. "OpenAI 모델이 이제 그 믿음을 반증했으며, 더 나은 성능을 보이는 완전히 새로운 구성군을 발견했습니다."
회사는 이것이 "AI가 수학 분야의 중심이 되는 두드러진 미해결 문제를 자율적으로 해결한 첫 사례"라고 주장합니다. 증명은 수학을 위해 특별히 설계된 시스템이 아닌 새로운 범용 추론 모델에서 나왔습니다. OpenAI는 이것이 AI가 이제 길고 어려운 추론 사슬을 유지하고 여러 분야의 아이디어를 연결할 수 있음을 의미하기 때문에 중요하다고 말합니다. 이는 생물학, 물리학, 공학, 의학에 영향을 미칠 것으로 보입니다. "AI는 우리가 수세기에 걸쳐 쌓아온 수학의 대성당을 더 완전히 탐험하도록 도와주고 있습니다," Bloom은 말했습니다. "또 어떤 보이지 않는 경이로움이 기다리고 있을까요?"