GPT-5.6 코덱스로 수학 난제 반증하기: 3년 매달린 대수곡면 추측을 뒤집은 수학자의 이야기

핵심 메시지

• 3년간 프로그래밍·손계산·이전 모델로도 풀리지 않던 대수곡면 관련 난제를 GPT-5.6 코덱스로 돌파했다.
• 코덱스는 기존과 전혀 다른 새 아이디어를 제시해, 증명하려던 추측이 사실은 거짓임을 밝히는 데 결정적 역할을 했다.
• 모델이 무거운 계산을 감지하면 사용자가 지시하지 않아도 스스로 하위 에이전트를 띄워 탐색을 분담했다.
• AI는 연구자를 대체하기보다, 어려운 아이디어에 집중할 시간을 되돌려주는 도구로 쓰였다.

쉽게 이해하기

OpenAI가 공개한 이 짧은 영상에서 한 수학자는 몇 주가 걸릴 탐색과 기술적 계산을 코덱스에 맡기고, 자신은 정원을 거닐며 생각에 잠기는 방식으로 연구한다고 말한다. 다섯 살 무렵부터 코딩을 해온 그에게 컴퓨터를 이용한 탐구는 자연스러운 일이었다.

그의 연구팀은 대수곡면에 관한 매우 어려운 문제를 3년째 붙들고 있었다. 프로그래밍, 종이와 펜, 이전 세대 모델까지 동원했지만 뚜렷한 진전이 없었다. 새로 나온 코덱스 5.6을 시도하기로 결정한 것이 전환점이 됐다.

코덱스는 완전히 새로운 접근을 제시했고, 팀이 3년간 참이라 믿고 증명하려던 추측이 실제로는 거짓임을 밝히는 데 도움을 줬다. 14/5가 8/3보다 크다는 계산이 나오면서 추측이 무너진 것이다.

그는 5.6이 작업을 설정해두면 계산량이 많은 지점을 스스로 인식해 별도 지시 없이 하위 에이전트를 자동으로 생성한다는 점을 인상 깊게 꼽았다. 방대한 계산도 모델과 함께 조직하면 두렵지 않다는 것이다.

주요 인사이트

• AI의 가치는 정답을 대신 내주는 데 있다기보다, 인간이 놓쳤던 새로운 방향의 아이디어를 던져 사고의 틀을 흔드는 데 있다.
• 오래 붙든 가설이 반드시 참이라는 보장은 없으며, 강력한 탐색 도구는 '증명'뿐 아니라 '반증'에서도 힘을 발휘한다.
• 모델이 계산량에 맞춰 스스로 작업을 분할·병렬화하는 자율성은, 연구자가 큰 문제에 과감히 도전하도록 심리적 문턱을 낮춘다.
• 도구가 반복적·기술적 노동을 흡수할수록 연구자는 가장 잘하고 좋아하는 일, 즉 어려운 아이디어에 몰입할 여유를 얻는다.

자주 묻는 질문

관련 AI 소식