TL;DR

  • Anthropic의 대형 언어 모델(LLM)이 퍼콜레이션 이론의 오랜 난제인 3~10차원 정사각 격자에서의 연속 전이를 증명해, 수십 년간 수학계가 예상해 온 결과를 확인함.
  • 퍼콜레이션 이론은 네트워크의 각 연결이 열릴 확률과 무한 연결 군집의 형성 사이 관계를 다루는 확률론의 하위 분야임.
  • 개별 연결이 열릴 확률이 임계값 p₍c₎를 넘으면 원점이 무한 연결 군집에 속할 확률 θ(p)가 0보다 커짐.
  • 1·2차원 정사각 격자와 11차원 이상에서는 전이가 연속적임이 알려져 있었으며, 이번 증명은 그 사이 차원에서도 전이가 연속적임을 보임.
  • 이번 결과는 수학상과 증명의 의미에 관한 논쟁을 촉발했으며, 수학의 가치는 정리 증명뿐 아니라 추측 수립과 통찰의 전달에도 있다는 지적이 제기됨.

퍼콜레이션 이론의 난제

  • 여러 작은 무작위 사건에서 어떻게 일관된 구조가 나타나는지, 예컨대 스펀지에 액체가 흐를 만큼 구멍이 충분해지는 시점이 언제인지 묻는 문제가 퍼콜레이션 이론의 핵심임.
  • 수학자들은 네트워크에 적용되는 임계값을 오랫동안 연구해 왔음. 이 값보다 위에서는 네트워크에 무한히 이어진 열린 연결이 존재할 가능성이 높고, 아래에서는 그 가능성이 낮음.
  • 브라운슈바이크 공과대학교의 수학자 Benedikt Jahnel은 누군가 이 문제를 풀면 필즈상을 받을 가능성이 높다고 평가함.
  • 2022년 통계물리학의 상전이 연구로 필즈상을 받은 프랑스 수학자 Hugo Duminil-Copin도 이 추측에 도전했지만, 다른 수학자들과 마찬가지로 풀지 못했음.
  • Duminil-Copin은 2026년 8월 30일 블로그 Proofs and Prompts의 글에서 AI가 인간보다 먼저 문제를 풀 가능성을 우려하며, 이 분야의 가장 유명한 추측도 AI의 ‘불도저’에 무너지는 것은 시간문제일 것이라고 씀.
  • 그 글이 게시된 지 며칠 뒤 Anthropic이 대형 언어 모델이 생성한 증명을 공개함. Jahnel은 추측이 증명된 데 대한 기쁨과 결정적인 마지막 단계를 AI가 해냈다는 데서 오는 환멸이 함께했다고 밝힘.

수학적 연결

  • 퍼콜레이션 이론은 1957년 수학자 Simon Ralph Broadbent와 John Michael Hammersley가 다공성 매질을 통과하는 액체의 흐름을 연구하면서 등장함.
  • 두 수학자는 매질을 네트워크로 모델링했으며, 노드는 구멍, 간선은 액체가 이동하는 균열에 대응함. 각 연결이 열리거나 닫힐 수 있는 거대한 파이프 시스템으로 생각할 수 있음.
  • 이 이론은 점들이 서로 연결되는지, 특히 흔히 원점으로 가정하는 한 점이 무한히 뻗은 연결 군집에 속하는지 다룸.
  • 각 파이프가 열릴 확률을 p라고 할 때, p가 낮으면 원점이 무한 연결 군집에 속할 확률 θ(p)는 0임. p가 높아지면 θ(p)도 커짐.
  • 네트워크의 기하학적 구조에 따라 임계값 p₍c₎가 존재하며, 이를 넘으면 θ(p)가 0보다 커짐. 따라서 p₍c₎는 연결성이 제한된 네트워크와 무한 연결이 가능한 네트워크 사이의 전이를 표시함.
  • p₍c₎ 값은 계산하기 매우 어려움. 1980년 수학자 Harry Kesten은 2차원 정사각 격자의 임계값이 1/2임을 증명해 연결되지 않은 체계와 연결된 체계 사이의 경계를 밝혔음.
  • 지금까지 발견된 퍼콜레이션 임계값은 소수에 불과하며, p₍c₎의 정확한 값을 구할 수 있다고 보는 사람은 거의 없음.
  • 퍼콜레이션 이론에서 가장 중요한 문제는 유한 군집만 있는 체계에서 무한 군집이 있는 체계로 넘어갈 때 어떤 전이가 일어나는지임.
  • 1·2차원 정사각 격자에서는 이 전이가 연속적임이 오래전부터 알려져 있음. 무한히 큰 군집에 속할 확률 θ(p)는 0에서 유한한 값으로 갑자기 뛰지 않고, p가 증가함에 따라 0에서 1까지 연속적으로 상승함.
  • 고차원 정사각 격자의 일반화에서도 같은 결과를 보일 수 있음. 이 격자에서는 각 점에 이웃이 많아 저차원에서는 성립하지 않는 통계적 평균화가 가능하며, 11차원 이상 네트워크에서 연속 전이가 일어남.
  • 오랜 난제는 3~10차원 정사각 격자에서 p가 증가할 때 θ(p)가 어떻게 변하는지였음. Anthropic의 AI 모델은 이 차원에서도 전이가 연속적임을 보여 수십 년간 수학계가 예상해 온 내용을 확인함.

수학의 미래

  • Jahnel은 인간이 필즈상을 받을 만한 성과를 AI가 해결한 일을 보며, 앞으로 이런 상이 계속 존재할지, 존재한다면 누가 받게 될지 등 여러 질문이 생긴다고 말함.
  • 필즈상은 항상 그런 것은 아니지만 정리 증명에 수여되는 경우가 많았음. Jahnel은 앞으로 인간이 다시 수상자 명단에 오를 수 있을지 의문이라고 덧붙임.
  • 수학상과 수학 자체를 새롭게 구상할 필요가 있을 수 있음. Jahnel은 수학자의 자신감과 존재 이유가 더는 추측 증명에만 기반하지 않으며, 수학에는 추측을 세우고 증명과 통찰을 인간 세계에 전달해 교과서에 반영하는 일도 포함된다고 말함.
  • Duminil-Copin도 수학적 질문은 증명을 기다리는 정리 이상이며, 수학자들의 미학적·과학적 탐구를 비추고 이끄는 등대라고 주장함.
  • Duminil-Copin에 따르면 이해는 정리와 증명만으로 얻어지지 않으며 실패를 통해서도 형성됨. 그가 퍼콜레이션 이론의 난제를 풀려 시도하는 과정에서도 다른 통찰이 나왔음.
  • 수학에서 AI 모델의 활용이 늘어나는 가운데, 이러한 발견이 사라지지 않기를 바라는 목소리가 나옴.
  • 이 기사는 Spektrum der Wissenschaft에 처음 게재됐으며 허가를 받아 재수록됨. 원래 독일어 기사를 AI의 도움으로 번역하고 편집진이 검토함.