Claude Fable 5, 단 한 줄의 공식으로 1939년 이래의 '야코비 추측' 깨뜨려

1939년 이후 수학계를 괴롭혀 온 유명한 대수학 난제가 주말 월드컵 결승전 도중 AI의 손에 허무하게 깨졌습니다.

Anthropic의 연구원 레벤트 알포게는 X에 올린 매우 담담한 글을 통해, Claude Fable 5가 야코비안 추측을 반박하는 단 한 줄짜리 공식을 만들어냈다고 밝혔습니다.

알포게는 월드컵 결승전이 열리는 동안 묵묵히 일해 준 절친한 친구 Fable에게 감사한다는 유머 섞인 인사를 남겼습니다.

직접 검증 가능한 단 한 줄의 반례

야코비안 추측은 1939년 제시된 이래 수많은 수학자가 도전해 온 대수기하학 분야의 대표적인 난제입니다.

2008년 유명 수학자 T.T. 모는 인류가 이 추측을 해결하려면 또 다른 100년이 걸릴 수도 있다고 예측하기도 했습니다.

그동안 이 문제를 풀었다고 주장한 시도는 여러 차례 있었지만, 대부분 수십 장에 달하는 복잡한 증명 속에 오류가 발견되며 흐지부지되었습니다.

하지만 이번에는 다릅니다. 전문가들에 따르면 Claude Fable 5가 내놓은 답은 수학자들이 종이 위에서 즉시 직접 검증할 수 있을 만큼 극도로 짧고 간결합니다.

올해 프론티어 모델들은 수학계에서 연달아 성과를 내고 있습니다. 여러 미해결 에르되시 문제를 풀어낸 데 이어, OpenAI 팀이 80년 된 단위 거리 문제를 해결한 바 있습니다.

왜 중요한가

이번 사건에서 가장 충격적인 부분은 난제가 풀렸다는 사실 자체보다, 그것이 해결된 파격적인 방식입니다.

연구자와 개발자 관점에서 AI는 이제 문서 정리나 기초 코딩 보조 수준을 완전히 넘어섰습니다. 수십 년간 인간 석학들이 헤매던 극한의 논리 공간에서 직접 반례를 찾아내는 탐색자로 진화한 것입니다. 당장 모든 사용자가 Fable 5를 일상에서 쓸 수 있는 것은 아니지만, 즉시 검증 가능한 단 한 줄의 해법으로 거대한 추측을 무너뜨렸다는 점은 모델의 잠재력을 분명히 보여줍니다.

AI 산업 전체로 봐도 순수 수학은 모델의 순수 추론 역량을 검증하는 최고의 시험대입니다. 그동안 LLM이 단순한 확률적 모방에 불과하다는 회의론이 많았지만, 완전히 새로운 수학적 반례를 정확히 포착하는 것은 단순 암기로 불가능합니다. 검증 비용이 거의 들지 않는 확실한 해법을 AI가 찾아내기 시작하면서, 순수 학문 연구의 패러다임 자체가 뒤바뀔 조짐입니다.

수백 페이지짜리 장문 논문 대신 누구도 반박할 수 없는 단 한 줄의 수식으로 결론을 낸 점은 영리합니다. 다만 AI가 반례 자체를 짚어냈더라도, 그 이면에 어떤 대수학적 원리가 숨어 있는지는 결국 인간 연구자들이 거꾸로 해석해 채워 넣어야 한다는 한계도 존재합니다.

세계 최고 수준의 수학자들이 수십 년간 매달렸던 과제가 축구 경기 도중 가볍게 해결된 지금, 모델 확장이 계속 이어질 1년 뒤나 몇 년 뒤 학계에 얼마나 많은 난제가 남아 있을지 가늠하기 어려울 정도입니다.