한 10월 2일 World Science Festival 인터뷰에서수학자 트리스탄 버크마스터는 AI가 만들어 낸 결과를 설명했습니다. 그는 그 결과가 맞다고 보지만 다른 수학자들이 읽기 어렵다고 말했습니다. 그의 설명은 최근 나비에–스토크스 발표에 더 구체적인 질문을 던집니다. 읽기 쉬운 설명을 만드는 데 추가 작업이 필요할 때 연구 공동체는 형식적 논증을 어떻게 검토할까요?

버크마스터가 이야기한 것은 레벤트 알푀게와 함께한 매끄러운 외력이 있는 3차원 오일러 방정식 연구입니다. 이 결과는 9월 8일 OpenAI의 주장에 관한 매끄러운 외력이 있는 나비에–스토크스 방정식과 별개입니다. 나비에–스토크스 방정식에는 점성이 있지만 오일러 방정식에는 없습니다. OpenAI는 유한 시간 안에 붕괴가 일어난다는 자사 주장을 뒷받침하는 논문과 Lean 형식화를 공개했습니다. 밀레니엄상 운영 기관은 아직 상을 수여한다고 발표하지 않았습니다.

큰 변화

  • 무엇이 달라졌나:버크마스터는 AI가 생성한 논증과 Lean을 이용해 별도의 강제 오일러 결과를 확립한 경험, 그리고 그런 증명을 수학자들에게 설명하기 위해 여전히 필요한 작업을 직접 이야기했습니다.
  • 왜 중요한가:형식 검증은 부호화된 논증이 지정된 정의와 의존 관계에서 도출되는지 확인할 수 있습니다. 수학자들은 정리가 무엇을 말하는지, 그 아이디어가 어떻게 작동하는지, 어떤 선행 연구를 활용하는지도 이해해야 합니다.
  • 앞으로 볼 점:OpenAI의 나비에–스토크스 주장에 대한 Clay의 평가, 읽기 쉬운 증명 설명, 저자 표시와 내부 모델 접근에 관한 공개 논의가 이 결과가 어떻게 평가되는지 보여 줄 것입니다. 버크마스터의 확신은 전문가의 견해이지 수상 결정은 아닙니다.

검증된 논증에도 설명이 필요하다

그 인터뷰에서, 버크마스터는 자신이 처음 받은 AI 생성 오일러 증명에 유용한 아이디어뿐 아니라 관련 없는 계산과 읽기 어려운 문장도 섞여 있었다고 말합니다. 그의 팀은 먼저 다른 에이전트들에게 개별 단계를 살펴보게 한 뒤 논증을 Lean으로 옮겨 형식 검증을 했습니다. 그는 표현이 좋지 않았지만 최종 증명은 옳았다고 말합니다. 이 설명은 그의 오일러 연구에 관한 것이며, OpenAI의 별도 나비에–스토크스 논문 전체를 그가 독립적으로 검증했다는 뜻으로 읽어서는 안 됩니다.

이 구분은 실제로 중요합니다. Lean은 지정된 증명 환경에서 정확히 형식화된 명제를 검증합니다. 그러나 그 자체로 긴 논증을 다른 연구자가 방법을 재사용할 수 있을 만큼 읽기 쉽게 만들지는 않습니다. 버크마스터는 브라이언 그린에게 자신이 거의 읽을 수 없다고 느낀 구절도 다른 AI 시스템은 분석할 수 있었고, AI에게 이를 일반적인 수학 언어로 바꾸도록 요청하는 일이 연구의 일부가 됐다고 말했습니다. 그는 발표된 PDF가 읽기 어려웠지만 나비에–스토크스 논증의 아이디어는 이해할 수 있었다고도 말했습니다. 이는 버크마스터의 평가이지 BIG CHANGE의 증명 감사 결과가 아닙니다. 우리는 Lean 파일을 실행하거나 어느 정리도 심사하지 않았습니다.

NYU Courant의 9월 14일 설명은 버크마스터와 알푀게의 성과를 매끄러운 외력과 유한 에너지 초기 자료를 가진 강제 3차원 오일러 방정식에서 유한 시간 안에 정칙성이 사라지는 결과라고 설명합니다. 협업으로 나온 논문 세 편을 Lean으로 형식화했다고 밝히고, 이 결과를 디에고 코르도바와 루이스 마르티네스-조로아가 시작한 연구 전략에 놓습니다. 공로를 따질 때 이런 세부 내용은 중요합니다. 모델이 만든 증명은 기존 수학적 경로를 확장할 수 있지만, 그 경로를 만든 사람들을 지우지는 않습니다.

빠르게 이어진 흐름 속 두 가지 결과

OpenAI는 내부 에이전트 시스템이 먼저 외력이 없는 오일러 결과를 만들고, 그 연구 방향을 별도의 나비에–스토크스 구성에 활용했다고 말합니다. OpenAI의 발표문은 버크마스터와 알푀게의 강제 오일러 결과가 먼저였음을 인정하면서도 자사의 증명은 독립적으로 개발했다고 말합니다. 인터뷰에서 버크마스터는 수학적 메커니즘이 서로 관련되어 있으며, OpenAI가 점성을 다루기 위해 붕괴하는 소용돌이 아이디어를 추가했다고 설명합니다. 각 설명은 서로 다른 방정식과 증명 단계를 다룬다는 데 동의하지만, 시간 순서나 지적 기여에 관한 모든 질문을 해결하지는 않습니다.

유럽 수학회는 발표를 환영하면서도 앞선 연구를 강조하고 저자 표시, 공로 인정, 내부 모델 접근에 주의를 기울여 달라고 요청했습니다. 9월 11일 Clay의 답변은 나비에–스토크스 문제가 겉보기에는 해결됐다고 하면서도 성과 평가와 공로 판정은 서두르지 않겠다고 밝혔습니다. 버크마스터는 그린에게 OpenAI가 해법을 갖고 있다고 믿는다고 말했습니다. 독자는 전문가의 긍정적 판단과 기관의 진행 중인 평가를 동시에 받아들일 수 있습니다.

최근의 OpenAI 수학 원고 세 편 추가 철회은 별개의 사건입니다. 보고된 부호 오류는 각 주장을 따로 살펴볼 이유이지만, 나비에–스토크스 증명에 같은 오류가 있다는 증거는 아닙니다. BIG CHANGE의 저장소 검토 안내는 원고 버전과 증명 자료를 찾는 방법을 설명하며, 우리의 검토 역량에 관한 의견은 설명과 검증을 전담할 지원이 필요하다고 주장합니다. 이전 나비에–스토크스 기사는 이 흐름의 시작을 기록합니다. 이번 인터뷰는 AI 시스템이 논증을 내놓은 뒤 어떤 일이 이어지는지 현직 수학자의 설명을 더합니다.

이처럼 중대한 주장에 대해 다음으로 유용한 공개 자료는 정확하고 사람이 읽기 쉬운 설명, 살펴볼 수 있는 형식화 자료, 독립적인 수학계의 반응입니다. 각각 역할이 다릅니다. 증명 후보를 빠르게 만드는 능력은 이런 작업을 더 시급하게 만들지만, Clay가 밝힌 절차는 신중하게 처리할 여지를 둡니다.

출처 및 추가 읽을거리