Anthropic의 Claude Fable 5는 하나의 작은 공식으로 87년 된 수학 추측을 반증합니다.

한 인류학자는 클로드 우화(Claude Fable) 5 모델을 사용하여 야코비안 추측에 대한 반례를 찾아 1939년 이후 지속되어 온 문제를 무너뜨렸습니다.

인류학 수학자들은 회사 자체의 대규모 언어 모델을 사용하여 87년 동안 해결에 저항해 온 수학적 추측을 반증하고 인공 지능이 순수 수학을 발전시키는 가장 놀라운 사례 중 하나를 제공했습니다.

AI 회사인 Anthropic의 수학자 Levent Alpöge는 대수기하학의 유명하고 오랜 문제인 야코비안 추측에 대한 반례를 찾았다고 발표했습니다. 그는 불과 몇 주 전에 대중에게 공개된 Anthropic의 Claude Fable 5 모델을 사용하여 결과에 도달했습니다. ScienceDaily 및 SciTechDaily가 처음 보고하고 The Conversation에 처음 게재된 기사에서 가져온 이 발견은 수학 커뮤니티에 엄청난 흥분을 불러일으켰습니다. 최신 AI 개발을 따르는 독자들에게 이 결과는 개척 모델이 얼마나 빨리 팔러 트릭에서 진정한 생산적인 과학 작업으로 이동하고 있는지를 강조합니다.

단일 게시물에 충분히 작은 공식

이 획기적인 발전을 놀랍게 만드는 것은 그 컴팩트함입니다. SciTechDaily에 따르면 반례는 매우 간단한 3차원 함수입니다. 이는 X의 단일 게시물 안에 들어갈 만큼 짧은 공식입니다. AI 지원 반례는 2차원 이상의 야코비안 추측을 반증하는 동시에 추측의 원래 2차원 형식을 그대로 유지합니다.

그 뉘앙스가 중요합니다. 그 결과는 19세기부터 지속되어 온 문제 전체를 해결하지는 못합니다. 대신, 이는 예상치 못한 한계를 드러냅니다. 비록 수학자들이 원래 가장 관심을 두었던 사례가 아직 해결되지 않은 상태로 남아 있음에도 불구하고 일반화되고 고차원적인 추측 버전은 거짓입니다.

문제의 역사

야코비안 추측은 다항식 함수, 즉 특정 규칙에 따라 숫자를 받아들이고 새로운 숫자를 생성하는 수학 기계에 관한 것입니다. 이 설정에서 숫자는 지도의 좌표처럼 공간의 지점을 나타낼 수 있습니다. 함수는 해당 좌표를 가져와 변환하여 점을 다른 위치로 이동합니다. 수학자들은 야코비 행렬식을 계산하여 함수가 공간을 얼마나 원활하게 재배열하는지 조사할 수 있습니다. 추측은 본질적으로 다음과 같이 묻습니다. 해당 행렬식이 0이 아닌 상수인 경우 함수는 반드시 다항식 역원을 갖습니까?

문제에는 역사가 있습니다. 이는 1884년 체코 수학자 루트비히 크라우스(Ludwig Kraus)에 의해 처음 언급되었고, 1939년 독일 수학자 오트 하인리히 켈러(Ott-Heinrich Keller)에 의해 다양한 차원으로 일반화되었습니다. 이는 매우 중요하다고 간주되어 필즈상 수상자인 스티븐 스말레(Stephen Smale)는 1998년 영향력 있는 다음 세기의 수학 문제 목록에 이를 포함시켰습니다.

오랜 기간 동안 이 추측은 20세기의 유명한 두 수학자 베니미노 세그레(Beniamino Segre)와 볼프강 그뢰브너(Wolfgang Gröbner)의 시도를 포함하여 많은 증명을 이끌어 냈습니다. 아무도 참지 못했습니다. 이제 챗봇 스타일 모델의 도움을 받아 반례가 표면화되었다는 사실은 AI가 증명을 구성하는 것만큼이나 예상치 못한 수학적 개체를 발견하는 데에도 얼마나 유용한지 입증합니다.

고차원 케이스가 떨어진 이유

주요 차이점은 2차원과 3차원(또는 그 이상) 사이에 있습니다. 여러 세대에 걸쳐 대수기하학을 장악해 온 원래의 2차원 야코비안 추측은 여전히 열려 있습니다. Alpöge와 Claude Fable 5가 발견한 것은 3차원의 반례이며, 이는 Keller가 1939년에 정식화한 일반화된 추측을 무너뜨리기에 충분합니다.

그 자체로 의미 있는 결과이다. 많은 연구자들은 그 추측이 사실이라면 모든 곳에서 사실이 될 것이라고 의심해 왔습니다. 3차원의 깔끔한 반례는 가능성의 공간을 좁히고 나머지 질문을 재구성합니다. 2차원은 정말로 특별한 것인가, 아니면 거기에도 반례가 숨어 있는가?

반례의 간결함은 그 자체로 놀랍습니다. Fortune은 AI 도구가 수백년 된 문제를 차례로 해결함에 따라 수학자들이 "매우 빠르고 매우 불안한 변화"와 씨름하고 있다고 보고했습니다. 필즈상 수상자가 승인한 문제를 무너뜨리는 작은 공식은 바로 그러한 불안감과 흥분을 불러일으키는 종류의 발전입니다.

수학에서 AI의 역할 증가

대규모 언어 모델을 사용하여 작업하는 수학자들은 최근 몇 가지 주목할만한 결과를 얻었으며 야코비안 추측 반례는 이전의 많은 발전과 차별화됩니다. 무차별적인 검색을 통해 갈고 닦는 대신 Alpöge와 Claude Fable 5의 협력을 통해 간결하고 사람이 확인할 수 있는 답, 즉 수학자들이 검증하고 기반으로 삼을 수 있는 종류의 결과를 얻었습니다.

이번 발견은 또한 더 광범위한 패턴을 강조합니다. 프론티어 모델은 광대한 조합 공간을 탐색하고 인간이 결코 우연히 발견하지 못할 후보 객체를 제안하는 능력이 점점 더 커지고 있습니다. 후보자가 직접 검증할 수 있을 만큼 짧으면 AI의 폭과 인간 판단의 결합이 강력해집니다.

미래에 미치는 영향

SciTechDaily가 언급한 것처럼 이것이 수학의 미래와 인간 수학자에게 어떤 의미인지는 아직 알 수 없습니다. 반례는 수학자들을 쓸모없게 만들지 않습니다. 오히려 그것은 열린 질문을 날카롭게 만들고 연구자에게 정확한 새로운 목표를 제시합니다. 그러나 이는 AI가 교과서 요약을 넘어 창의적인 수학 작업의 핵심으로 이동했다는 점을 강화합니다.

그 결과는 Anthropic에 대한 세간의 이목을 끄는 검증이기도 합니다. 발견되기 불과 몇 주 전에 대중에게 공개된 Claude Fable 5는 회사의 수학자 중 한 명이 지난 세기의 가장 위대한 사람들을 좌절시켰던 문제를 해결하는 데 사용되었습니다. 회사가 자신의 모델이 개척지에서 추론할 수 있음을 입증하기 위해 경주하는 경우 1939년의 추측보다 더 신뢰할 만한 보증은 거의 없습니다.