TL;DR

  • OpenAI 내부 시스템이 외부에서 에너지를 계속 공급하는 조건에서 나비에–스토크스 방정식의 유한 시간 특이점 발생을 증명했지만, 클레이 수학연구소가 제시한 밀레니엄 문제의 조건에는 부합하지 않음.
  • 증명은 약 1만 개 에이전트, 88시간의 추론, 1,300억 개 출력 토큰을 동원해 생성됐으며, 별도로 Lean에서 검증하는 데 17시간이 소요됨.
  • 연산 비용 추정치는 1,500만~2,200만 달러로, 문제의 상금인 100만 달러의 최소 15배임.
  • 결과물은 기계적으로 검증된 Lean 코드 230만 줄이며, 수학자도 전체 증명 전략을 AI 도움 없이 한 사람이 파악하기 어려운 규모임.
  • 활동량과 영향력은 같지 않으며, 막대한 연산량과 검증 결과만으로 실제 문제에 대한 답이나 인간의 이해가 확보되는 것은 아님.

문제와 OpenAI의 증명

  • OpenAI가 밀레니엄 문제 중 하나인 나비에–스토크스 존재성과 매끄러움 문제의 해법을 공개함. 증명은 OpenAI 내부 시스템이 생성했으며, 유체 운동을 기술하는 나비에–스토크스 방정식의 동역학에서 유한 시간 안에 특이점이 발생할 수 있음을 보임.
  • 공개 자료에는 증명의 설명문과 Lean으로 형식화한 증명이 모두 포함됨.
  • 클레이 수학연구소는 2000년부터 이 문제에 100만 달러의 상금을 걸어 둠. 문제는 외부에서 손대지 않은 유체 흐름이 스스로 무한한 속도로 치솟을 수 있는지를 묻는 것으로, 일곱 가지 밀레니엄 문제 가운데 하나이자 설명하기 가장 어려운 종류의 수학 문제임.

연산 규모와 문제 조건의 차이

  • 투입 규모는 대략 1만 개 에이전트, 88시간의 추론, 1,300억 개 출력 토큰으로 제시됨. 결과를 Lean에서 검증하는 데 추가로 17시간이 들었으며, Lean은 논리적 단계를 기계적으로 확인하는 증명 보조기임.
  • 추정 연산 비용은 1,500만~2,200만 달러로, 상금 자체의 최소 15배임.
  • OpenAI는 실제 상금을 받는 해법이라고 주장할 수 없음. 상금 문제는 유체가 완전히 고립돼 외부 에너지가 추가되지 않는 상황을 다루지만, OpenAI가 증명한 것은 외부에서 유체에 에너지를 계속 밀어 넣으면 결국 폭발, 즉 특이점과 무한 속도를 강제할 수 있다는 결과임.
  • 이는 실질적인 결과이지만, 문제의 도전 조건을 충족하는 답은 아님.

읽기 어려운 증명과 인간의 이해

  • 결과물은 Lean 코드 230만 줄로, 기계적으로 검증됐지만 이를 확인할 자격을 갖춘 수학자에게도 사실상 읽기 어려움.
  • 증명의 배후 전략은 한 사람이 AI의 도움 없이 머릿속에 담아 두기에는 지나치게 큰 규모임.
  • 이는 테스트 모음을 통과하는 AI 생성 코드를 개발자가 받아들이는 상황과 같은 교환 관계를 보여 줌. 초록색 체크 표시는 논리가 어딘가에서 맞물린다는 점을 확인하지만, 사람이 코드의 작동을 실제로 이해한다는 뜻은 아님.

결과에 대한 평가

  • 연산에 1,500만 달러 이상을 쓰고, 클레이가 실제로 제기한 문제보다 다른 더 쉬운 질문에 답했으며, 아직 누구도 끝까지 읽지 않은 증명 230만 줄을 만들었음. 여기에 1만 개 에이전트와 1,300억 개 토큰이 투입됨.
  • 활동량은 영향력과 같지 않다는 점을 상기할 필요가 있음.