AI가 수학 60년 난제에 '반례'를 던졌다 — 클로드 페이블 사건

야코비안 추측(Jacobian Conjecture)은 1939년 제기된 뒤 지금까지 풀리지 않은 대수기하학의 유명한 난제입니다. 복소 다항식 사상의 야코비 행렬식이 0이 아닌 상수라면 그 사상은 항상 역함수를 가진다는 주장으로, 대다수 수학자가 '참'이라고 믿어온 문제죠. 그런데 클로드 기반 수학 에이전트 '페이블(Fable)'이 이 추측에 대한 반례 후보를 만들어냈다는 소식이 화제가 됐습니다. 핵심은 두 가지입니다. 첫째, AI가 단순 계산 보조를 넘어 최전선 수학 연구에서 새로운 수학적 대상을 직접 탐색·구성하는 단계에 들어섰다는 점. 둘째, '참으로 믿어지던 명제의 반례'라는 극적인 결과일수록 인간의 엄밀한 검증이 필수라는 점입니다. AI가 그럴듯한 오류를 자신 있게 내놓을 수 있기 때문이죠. IT 종사자에게 주는 시사점은 명확합니다. 생성형 AI의 진짜 가치는 '답'이 아니라 '검증 가능한 후보'를 대량으로 만들어내는 데 있으며, 앞으로 엔지니어의 역량은 AI 산출물을 빠르고 정확하게 검증하는 능력으로 옮겨갈 것입니다.