인공지능 클로드 우화 5호, 87년 동안 풀지 못한 수학 문제 해결
연구자들은 “Claude Fable 5” 인공 지능이 거의 한 세기 동안 사람들의 흥미를 끌었던 수학적 도전인 야코비안 추측을 종식시키는 중요한 반례를 확인했다고 밝혔습니다. Anthropic 소속 수학자 Levent Alpoge가 보고한 이번 발견은 과학의 복잡하고 오랜 문제를 해결하는 데 있어 AI의 잠재력이 커지고 있음을 보여줍니다.
87년 된 문제를 인공지능이 해결한 방법
Anthropic의 수학자 Levent Alpoge는 Jacobi의 추측에 대한 반례의 발견을 보고하는 책임을 맡았습니다. 87년 동안 풀리지 않았던 해법은 ‘Claude Fable 5’ AI 모델의 도움으로 찾아졌다. Alpoge는 수학자 Akil Matthew로부터 이 솔루션을 추구하도록 격려받았고 FIFA 월드컵 결승전에서 인공지능이 이 문제를 해결했습니다.
야코비안 추측은 무엇이며 왜 중요한가?
1939년 독일 수학자 오토-하인리히 켈러(Otto-Heinrich Keller)가 일반적인 형태로 공식화한 야코비안 추측(Jacobian conjecture)은 다항 함수의 기본 속성에 의문을 제기하는 문제입니다. 이는 n개의 복소 변수를 동일한 n개의 변수로 매핑하는 다항식 맵의 야코비안 행렬식이 0이 아닌 상수인 경우 다항식으로도 표현될 수 있는 역맵이 존재해야 함을 시사합니다. 본질적으로 문제는 모든 지점에서 로컬 “가역성” 속성이 전체 기능에 대한 전역 다항식 가역성을 의미하는지 여부입니다.
수학에서 야코비 행렬식의 역할 이해
수학에서 함수가 서로 다른 입력에 대해 동일한 출력을 반환하는 경우 원래 입력은 고유할 수 없습니다. 출력에서 입력으로 돌아가는 과정을 역함수라고 합니다. 그러나 동일한 출력에 대한 여러 입력을 갖는 함수는 해당 영역 전체에 걸쳐 고유한 역함수를 가질 수 없습니다. 다변수 함수의 경우, 좁은 범위에서 함수를 복원하는 능력은 야코비안 행렬식으로 검사됩니다. 이 값은 각 진입점에서 계산되며 선형 근사치를 사용하여 국부적 면적이나 부피의 변화를 나타냅니다. 제로 야코비 행렬식은 정보가 어떤 방향에서 손실되어 입력의 일회성 복원이 불가능함을 나타냅니다. 0이 아닌 경우 정보가 보존되어 로컬에서 입력 및 출력의 추적이 보장됩니다.
클로드 우화(Claude Fable) 5 반례의 결정적인 발견
Claude Fable 5 인공 지능은 야코비 행렬식이 항상 -2의 상수 값을 취하는 다항식 매핑을 발견했습니다. 그러나 동일한 출력을 초래하는 세 가지 서로 다른 입력이 발견되었으며 이는 야코비안 추측과 모순됩니다.
- 다양한 입력:
- * (0, 0, -1/4)
* (1, -3/2, 13/2)
* (-1, 3/2, 13/2) - 모든 입력에 대해 동일한 출력:(-1/4, 0, 0)
이 증명은 3개 이상의 변수에 대해 야코비안 추측이 거짓임을 나타내며, 전체 공간에 대한 역맵의 존재가 상수 야코비안 행렬식의 성질만으로는 보장되지 않는다는 것을 증명합니다.
검증과 발견 후 인간의 이해의 중요성
AI의 인상적인 발견에도 불구하고, 인공 시스템에 의한 단순한 공식 생성은 반례로서의 타당성을 자동으로 보장하지 않습니다. 작은 계산이나 대체 오류로 인해 전체 결론이 무효화될 수 있습니다. 이러한 이유로 인간 전문가나 검증 소프트웨어에 의한 독립적인 검증이 필수적입니다.
폭로 이후에는 “Lean” 정리 증명 지원 시스템을 사용하여 증명을 공식화하려는 노력이 있었습니다. Imperial College London의 공식 수학 박사 과정 후보자인 Paul Rouzeau는 Lean 반례를 개발하여 Google DeepMind에서 관리하는 수학적 추측 저장소인 “Formal Conjectures”에 업로드했습니다. 현재 풀 리퀘스트에 대한 검토가 진행 중이지만 이미 야코비안 행렬식의 일관성과 매핑의 비사입성 검증이 가능해 공간 전반에 걸쳐 역매핑이 없음을 확인했습니다.
인간과 인공지능이 협력하는 다음 단계
형식화된 수학에 초점을 맞춘 Xena 프로젝트는 다음의 큰 과제는 반례의 정확성을 확인하는 것뿐만 아니라 그것이 타당한 이유를 인간이 깊이 이해할 수 있도록 하는 것이라고 지적합니다. 이 에피소드는 인공 지능의 계산 능력과 인간의 분석적 통찰력 사이의 상호 작용이 커지고 있음을 강조하여 수학적 연구의 새로운 지평을 열고 오랫동안 이해하기 어려웠던 문제를 해결합니다. 이번 협력은 AI의 속도와 인간 추론의 깊이를 결합하여 복잡한 분야의 발전을 가속화할 것을 약속합니다.
