Claude Fable과 Jacobian 추측 반례

Claude Fable과 Jacobian 추측 반례

Claude Fable이 Jacobian 추측을 반증함

Claude Fable이라는 AI 모델이 Jacobian 추측에 대한 반례를 만들어냈으며, 이를 통해 해당 추측이 거짓임을 입증했습니다. 이 결과는 2026년 7월 20일 levent (@alpoge)에 의해 발표되었으며, 상수 Jacobian 행렬식을 가지지만 전단사(injective)하지 않은 특정 다항식 사상 (\mathbb{C}^3) → (\mathbb{C}^3)을 상세히 제시했습니다.

반례

반례는 다음과 같은 성분으로 정의되는 다항식 사상 (F: \mathbb{C}^3 \to \mathbb{C}^3)으로 구성됩니다:

  • $f_1 = (1+xy)^3 z + y^2 (1+xy) (4+3xy)$
  • $f_2 = y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy)$
  • $f_3 = 2 x - 3 x^2 y - x^3 z$

수학적 성질

발표에 따르면, 이 사상의 Jacobian 행렬식은 -2입니다. 사상이 전단사하지 않기 때문에 추측이 반증됩니다; 다음 세 점이 동일한 출력으로 매핑됩니다:

  • $(0, 0, -1/4) \to (-1/4, 0, 0)$
  • $(1, -3/2, 13/2) \to (-1/4, 0, 0)$
  • $(-1, 3/2, 13/2) \to (-1/4, 0, 0)$

이러한 성질은 Wolfram|Alpha를 이용해 검증되었으며, Lean (Mathlib)에서 형식화 작업이 시작되었습니다.

더 넓은 수학적 함의

Jacob​ian 추측은 다른 주요 문제들과 수학적으로 연결되어 있기 때문에, 그 반증은 관련 추측들에도 도미노 효과를 미칩니다:

  • Dixmier 추측: 3차 Weyl 대수에 대한 Dixmier 추측은 이제 반증된 것으로 간주됩니다.
  • Poisson 추측: Jacobian 추측과 동등함에 따라 Poisson 추측 역시 일반적으로 거짓임이 암시됩니다.

AI 발견 과정 분석

합성 vs. 무차별 대입

Claude Fable이 어떻게 이 결과에 도달했는지에 대한 논의가 활발합니다. 일부 관찰자는 모델이 이전의 실패한 증명과 근사 시도들을 방대한 코퍼스에서 종합했을 가능성을 제시하고, 다른 이들은 다항식 군을 비선형적으로 매우 효율적으로 탐색했을 것이라고 추측합니다.

한 논평자는 발견의 효율성을 다음과 같이 언급했습니다:

"Claude Fable이 3차 다항식으로 반례를 찾을 수 있었다는 것이 믿기지 않을 정도로 놀라워요... 다른 사람들은 약 16변수의 다항식을 무차별 대입하고 있었고, 하한을 추정하면 200까지 올라갈 수 있었겠죠."

인간‑AI 협업

모델이 결과를 만들어냈지만, 발견은 협업을 통해 이루어졌습니다. 발표에서는 질문을 제시한 "akhil"과 계산 작업을 수행한 "fable"에게 감사를 표했습니다. 이는 연구자들이 AI를 활용해 후보를 생성하고, 이후 대부분의 시간을 수동 검증과 검증에 투자하는 "math‑vibe coding"이라는 새로운 흐름을 강조합니다.

커뮤니티 반응 및 논쟁

이 발표는 수학의 미래와 AI의 공식적 발견 역할에 대한 논쟁을 촉발했습니다:

  • "Crank Graveyard": Jacobian 추측은 수십 년간 아마추어들이 제출한 수많은 잘못된 증명 때문에 "전형적인 crank graveyard"로 묘사됩니다. 이는 1990년대에 몇 일간 컴퓨터 탐색으로 대학원생이 찾을 수 있었을 결과를 LLM이 찾아냈다는 점에서 특히 의미심장합니다.
  • 수학의 현주소: 일부 수학자들은 최첨단 모델이 현재 인간 인프라로 접근 가능한 모든 문제를 빠르게 해결함에 따라 수학이 "오라클"의 해석으로 전락할 위험을 우려합니다.
  • 검증 지연: 사용자는 AI가 즉시 결과를 생성할 수 있지만, 이를 검증하는 인간의 노력은 여전히 상당하다고 지적했습니다. 한 연구자는 "검증에 걸린 시간이 발견 자체에 걸린 시간보다 더 많았다"고 언급했습니다.

요약: Claude Fable이라는 AI 모델이 Jacobian 추측에 대한 반례를 만들어냈다고 보고되었습니다. 이 추측은 85년 동안 해결되지 않은 장기 미해결 수학 문제였습니다.

제목: Claude Fable과 Jacobian 추측 반례

Sources