기술/연구

“수학자들 멘붕…” 30년 난제 푼 GPT-5.2, 진짜 미쳤다

댓글 0 · 저장 0 · 편집: 이도윤 기자 발행: 2026.01.13 07:40

기사 3줄 요약

1 GPT-5.2, 30년 묵은 수학 난제 해결
2 세계 최고 난이도 퍼트넘 문제도 정복
3 AI가 인간 뛰어넘는 추론 능력 입증

혹시 학창 시절 수학 문제 때문에 머리 아팠던 기억, 다들 있으시죠? 그런데 인간 천재들도 쩔쩔매는 수학 난제를 순식간에 풀어버린 주인공이 등장했습니다. 바로 우리가 잘 아는 AI, ‘GPT’의 새로운 버전 이야기입니다. 단순히 계산만 잘하는 계산기가 아닙니다. 스스로 논리적인 추론을 하고 증명까지 해내는 ‘진짜 지능’을 보여줬다고 합니다.

천재들도 포기한 문제를 푼다고?

최근 AI 업계와 수학계가 발칵 뒤집혔습니다. 오픈AI의 차기 모델인 ‘GPT-5.2’가 무려 30년 동안 아무도 풀지 못했던 ‘에르되시 문제’를 해결했기 때문입니다. 이 문제는 헝가리의 전설적인 수학자 폴 에르되시가 낸 퀴즈입니다. 수십 년간 수많은 천재가 도전했지만, 누구도 완벽한 답을 내놓지 못했습니다. 그런데 AI가 이 문제를 보란 듯이 증명해냈습니다. 심지어 세계에서 가장 어렵다는 수학경시대회 ‘퍼트넘’의 문제 12개도 전부 만점으로 통과했습니다. 이게 얼마나 대단한 거냐고요? 마치 수능 수학 킬러 문항을 1초 만에 풀어버리고 해설 강의까지 완벽하게 하는 것과 같습니다.

AI가 정답인지 어떻게 믿어?

"그거 그냥 우연히 맞춘 거 아니야?"라고 의심할 수도 있습니다. 하지만 이번엔 다릅니다. AI가 내놓은 답을 검증하는 또 다른 기술이 사용됐기 때문입니다. ‘린(Lean)’이라는 도구가 그 주인공입니다. 린은 AI가 쓴 수학적 증명 과정을 컴퓨터 언어로 바꿔서 논리적 오류가 없는지 꼼꼼하게 따지는 역할을 합니다. 쉽게 말해, AI가 답안지를 제출하면 또 다른 AI 선생님이 "논리적으로 완벽해!"라고 도장을 찍어주는 셈입니다. 이 과정을 통해 GPT-5.2는 단순히 답만 맞히는 게 아니라, 인간처럼 생각하고 추론하는 능력을 갖췄다는 사실을 증명했습니다.

이제 인간 수학자는 필요 없을까?

AI가 이렇게 똑똑해지면 인간은 설 자리가 없는 걸까요? 전문가들의 의견은 조금 다릅니다. 오히려 AI가 지루하고 복잡한 계산이나 검증을 맡아주면, 인간은 더 창의적인 아이디어를 내는 데 집중할 수 있다는 겁니다. 한 스타트업 관계자는 "기계는 원두를 갈고, 인간은 커피 맛을 음미하는 것과 같다"라고 비유했습니다. AI는 최고의 조수가 되어 인류의 과학 발전을 획기적으로 앞당길 것입니다. 한편, 마이크로소프트 조사에 따르면 한국의 AI 도입 속도가 세계 1위라고 합니다. 우리나라도 이 흐름에 빠르게 올라타고 있다는 뜻입니다. 앞으로 AI와 인간이 함께 만들어갈 미래가 기대되지 않으시나요?