Markdown 버전

AI-translated from English; not yet reviewed by a fluent editor.

# AI가 만든 수학 증명을 검증하는 방법을 설명한 트리스탄 버크마스터

> World Science Festival 인터뷰에서 트리스탄 버크마스터는 AI가 만든 논증을 어떻게 형식적으로 검증했는지, 읽기 쉬운 증명과 독립적인 평가가 왜 여전히 중요한지 설명합니다.

By BIG CHANGE Editorial

Published: 2026-10-08T22:26:20.730Z
Updated: 2026-10-08T22:26:20.730Z
Canonical: https://bigchange.ai/blog/tristan-buckmaster-ai-math-proof-checking

![An anonymous person stands back from a wall-mounted blackboard; crowded chalk strokes at left give way to an erased center and sparse strokes at right.](https://bigchange.ai/api/media/file/buckmaster-proof-readability-hero-v1.png)
Conceptual illustration of the work of making a dense argument readable. It does not show Tristan Buckmaster, the interview venue, an actual proof or a completed proof check. AI-generated illustration by BIG CHANGE.

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

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

## 큰 변화

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

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

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

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

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

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

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

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

최근의 [OpenAI 수학 원고 세 편 추가 철회](https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error)은 별개의 사건입니다. 보고된 부호 오류는 각 주장을 따로 살펴볼 이유이지만, 나비에–스토크스 증명에 같은 오류가 있다는 증거는 아닙니다. BIG CHANGE의 [저장소 검토 안내](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs)는 원고 버전과 증명 자료를 찾는 방법을 설명하며, 우리의 [검토 역량에 관한 의견](https://bigchange.ai/blog/ai-research-discovery-review-capacity)은 설명과 검증을 전담할 지원이 필요하다고 주장합니다.  [이전 나비에–스토크스 기사](https://bigchange.ai/blog/ai-mathematics-unit-distance-navier-stokes)는 이 흐름의 시작을 기록합니다. 이번 인터뷰는 AI 시스템이 논증을 내놓은 뒤 어떤 일이 이어지는지 현직 수학자의 설명을 더합니다.

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

## 출처 및 추가 읽을거리

- [10월 2일 World Science Festival 프로그램](https://www.worldsciencefestival.com/programs/the-moment-ai-changed-mathematics-forever/)은 인터뷰 날짜, 참가자와 범위를 확인해 줍니다. [인터뷰 영상](https://youtu.be/PQYFRuZ5phs)은 버크마스터 자신의 설명을 담은 출처입니다. 그의 평가는 그에게 귀속해 전달합니다.
- [9월 14일 NYU Courant 보고서](https://cims.nyu.edu/dynamic/news/1528/)는 버크마스터와 알푀게의 강제 오일러 결과, 선행 수학 연구와 Lean 형식화를 설명합니다.
- [9월 8일 OpenAI 발표(9월 10일 업데이트)](https://openai.com/index/navier-stokes-solution/)는 강제 나비에–스토크스 구성 주장, 공개 논문과 Lean 형식화, 동시 진행 연구에 대한 OpenAI의 설명을 담고 있습니다. 이는 주장을 제기한 측의 설명이며 독립적인 승인으로 볼 수 없습니다.
- [9월 11일 Clay 성명](https://www.claymath.org/news/navier-stokes-announcement/)은 신중한 공개 입장과 평가 절차를 설명합니다. [9월 10일 유럽수학회 성명](https://euromathsoc.org/news/ems-statement-on-recent-navier-stokes-announcement-225)은 공로, 연구 출처와 접근 문제를 다룹니다.
- BIG CHANGE의 [초기 나비에–스토크스 보도](https://bigchange.ai/blog/ai-mathematics-unit-distance-navier-stokes), [저장소 검토 안내](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs), [검토 역량에 관한 의견](https://bigchange.ai/blog/ai-research-discovery-review-capacity) 및 [다른 원고 세 편 추가 철회에 관한 별도 기사](https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error)는 계속 전개되는 이 이야기의 맥락을 제공합니다.

## Sources

- [AI가 수학을 바꾼 순간](https://www.worldsciencefestival.com/programs/the-moment-ai-changed-mathematics-forever/) — 프로그램 정보, 날짜 및 인터뷰 범위.
- [World Science Festival 인터뷰 영상](https://youtu.be/PQYFRuZ5phs) — AI 지원 오일러 연구, Lean 검증, OpenAI 주장과 향후 평가에 관한 버크마스터의 발언을 출처에 귀속해 요약합니다.
- [트리스탄 버크마스터, 매끄러운 외력이 있는 3차원 오일러 방정식의 유한 시간 특이점 구성](https://cims.nyu.edu/dynamic/news/1528/) — 성과에 대한 기관의 설명과 선행 연구.
- [나비에–스토크스 밀레니엄상 문제에 관하여](https://openai.com/index/navier-stokes-solution/) — OpenAI가 제기한 주장과 동시 진행 연구에 대한 설명.
- [나비에–스토크스 발표](https://www.claymath.org/news/navier-stokes-announcement/) — Clay의 신중한 답변과 평가 절차.
- [최근 나비에–스토크스 발표에 관한 유럽수학회 성명](https://euromathsoc.org/news/ems-statement-on-recent-navier-stokes-announcement-225) — 공로 인정과 접근에 관한 수학회의 입장.