TL;DR

  • OpenAI가 나비에-스토크스 존재성과 매끄러움 문제를 풀었다고 발표했지만, 검증 전인 이 주장은 AI의 수학적 역량과 연구 규범을 둘러싼 논쟁을 키우는 계기임.
  • OpenAI, Anthropic, Google은 밀레니엄 문제를 비롯한 수학 난제를 첨단 AI 시스템의 성능을 시험하는 기준으로 삼는 중임.
  • 수학자들은 AI가 답을 제시하더라도 이해 가능한 새로운 방법론을 만들지 못하면 수학적 이해와 문제 해결 성과의 상관관계가 약해질 수 있다고 우려함.
  • OpenAI의 나비에-스토크스 발표 과정은 강압적이고 학계 규범을 어겼다는 비판을 받았으며, OpenAI는 기사 게재 전 논평 요청에 응답하지 않음.
  • 대학원생들은 동료 간 경쟁 압박과 높은 AI 구독 비용에 직면하고 있으며, 일부는 LLM 결과를 검증하는 일을 직업으로 삼고 싶지 않아 연구 방향을 바꾸는 중임.

거대 기술 기업, 밀레니엄 문제 겨냥

  • 9월 13일 독일에서 열린 연례 하이델베르크 수상자 포럼에서는 수학과 컴퓨터과학 분야의 저명 인사 및 신진 연구자들이 한 주 동안 토론과 교류를 진행했으며, 대화의 주요 화제는 OpenAI, Anthropic, Google 등 AI 기업의 수학 분야 진출이었음.
  • 수학은 단계별 논리 추론을 요구하고 답을 자동으로 객관 검증할 수 있어 AI 시험장으로 적합하며, 올해 기술 기업들은 수학 역량을 빠르게 발전시켜 미해결 문제의 새로운 해법과 수학 공동체의 고민을 함께 불러옴.
  • AI는 일상적인 연구 수준 문제에서 어려움을 겪던 단계에서 출발해 헝가리 수학자 Paul Erdős가 제시한 여러 난제를 풀고, 페르마의 마지막 정리 증명을 검증한 데 이어 OpenAI가 나비에-스토크스 존재성과 매끄러움 문제를 풀었다고 발표하는 단계에 도달함.
  • 암스테르담 대학교의 신진 연구자 Ailsa Robertson은 “AI와 대형 언어 모델(LLM)이 여름 동안 수학계를 들끓게 했다”고 표현함.
  • 클레이 수학연구소가 2000년에 제시한 매우 어려운 밀레니엄 상 문제 7개 가운데 인간이 푼 문제는 푸앵카레 추측 하나뿐임. OpenAI가 두 번째 문제인 나비에-스토크스 문제를 풀었다는 주장은 검증될 경우 자동 추론의 중대한 전환점임.
  • 토론토 대학교의 필즈상 수상자 Jacob Tsimerman은 역량이 예상보다 빠르게 향상됐다고 평가하며, “세부 내용은 모르지만 나비에-스토크스 문제 해결은 꽤 확정적인 성과처럼 느껴진다”고 말함.
  • OpenAI의 발표 뒤 남은 밀레니엄 문제 중 다음 대상이 무엇일지를 둘러싼 소문이 확산됨.
  • Anthropic은 8월 공개되지 않은 Claude 버전을 리만 가설에 적용해 관련 문제에서 중요한 진전을 이뤘으나, 주된 목표에서는 진전이 없었음.
  • OpenAI는 호지 추측 해결에 집중하는 것으로 알려짐.
  • 많은 수학자는 거대 기술 기업들이 공개되지 않은 최신 모델의 역량을 투입하고 있어 일부 문제는 조만간 풀릴 수밖에 없다고 봄.
  • 기술 기업들은 첨단 AI 시스템의 역량을 확인하는 기준으로 밀레니엄 문제를 겨냥하는 것으로 보이며, 유명한 미해결 문제 해결은 잠재 사용자와 투자자에게 기술력을 보여주는 부수적 효과도 있음.
  • 본 대담에서 본 대학교의 필즈상 수상자 Peter Scholze는 “이 어려운 수학 문제를 벤치마크나 일종의 홍보 행위로 푸는 것일 뿐”이라고 평가함.

OpenAI의 나비에-스토크스 해법이 논란이 된 이유

  • 패널 토론에는 Scholze와 Tsimerman 외에 뉴욕 컬럼비아 대학교의 Michael Harris, 시드니 대학교의 Geordie Williamson이 참여함. 이들은 기술 기업이 수학 공동체에 깊이 뿌리내린 규범과 가치를 따르지 않는 데서 여러 문제가 생긴다고 봤으며, OpenAI의 나비에-스토크스 발표가 이를 잘 보여주는 사례라고 지적함.
  • Williamson은 “OpenAI가 매우 부적절하게 행동했다고 생각하며, 공동체가 이를 인정해야 한다”고 말함.
  • 뉴욕 대학교의 수학자 Tristan Buckmaster는 Anthropic 직원 Levent Alpöge와 나비에-스토크스 문제에서 상당한 진전을 이루던 중, OpenAI와 주고받은 것으로 보이는 서신을 Harris에게 전달함. 해당 서신은 강압적이고 검열적이며 위협적이었던 것으로 묘사됨.
  • Harris는 “Tristan의 설명을 신뢰했고, 그의 서사를 확산하는 데 나도 역할을 한 것 같다”며 소셜미디어와 전통 매체의 보도가 OpenAI를 괴롭힘을 하고 학문 분야의 규범을 흔드는 주체로 묘사한다는 자신의 판단과 대체로 일치한다고 말함. OpenAI는 기사 게재 전 논평 요청에 응답하지 않음.
  • Williamson은 OpenAI의 처신뿐 아니라 AI가 올여름 수학 전반에 빠르게 진출한 일이 현업 수학자와 사회에 유용해질 지식에 미치는 영향도 우려함.
  • Williamson은 수학 공동체가 원하는 것은 이해이지만, 이를 미해결 문제에 견줘 측정하는 과정에서 두 기준의 상관관계가 빠르게 약해지고 있다고 설명함. AI가 답을 내더라도 이해하거나 활용할 수 있는 새 방법론을 개발하지 않는 경우가 많기 때문임.
  • 그는 사람을 평가하는 방식, 채용 대상, 교육 방식 등을 다시 검토해야 한다며 “이는 큰 도전이 될 것”이라고 말함.

압박받는 학계

  • 거대 기술 기업들이 주도권 경쟁에서 기존 규칙을 흔드는 동안 그 결과는 일반 수학자들에게 돌아가고 있으며, 강력한 AI 기술에 대한 제한 없는 접근이 세계 각지 수학자의 연구 방식을 바꾸는 중임.
  • 케이프타운 대학교의 신진 수학자 Mita Ramabulana는 OpenAI가 8월 발표한 수학 분야 진전 10개 가운데 두 가지가 자신의 연구와 겹쳤다고 말함. 그는 자신이 고민한 문제를 누군가 LLM에 입력해 풀어버릴 수 있다는 생각에 실망감을 느꼈으며, 비양심적인 연구자가 LLM을 이용해 다른 연구자를 앞지르거나 직업적 이득을 얻을 수 있다고 우려함.
  • 암스테르담 대학교에서 양자 내성 암호학 박사 과정을 밟는 Robertson은 수학 분야 동료들이 연구에 LLM을 집중적으로 활용하고 있으며, 많은 이가 프로 구독 한도를 모두 사용하고 일부는 추가 토큰에 수천 유로를 지출한다고 전함. 그는 “그런데 이들은 수천 유로를 갖고 있지 않은 박사과정 학생들”이라고 덧붙임.
  • Robertson에 따르면 일부 동료는 기술 기업의 압박을 느끼며, OpenAI가 7월 학계 연구자에게 프런티어 모델 무료 이용권 10만 개를 제공한다고 발표한 사례도 그 배경임. 다른 동료들은 선택의 여지가 없다고 느낌.

“LLM을 쓸 때 가능한 속도로 일하지 않으면, 같은 일자리에 지원할 동료들보다 뒤처지게 된다.”

  • 이 때문에 Robertson의 박사 연구는 수학 비중이 줄고 양자 내성 생태계로 전환할 때의 사회적 영향에 초점을 맞추게 됨. 그는 “LLM 출력물을 검증하는 일을 직업으로 삼고 싶지 않다”고 말함.
  • 관련 기사: [AI, 지금까지 가장 어려운 수학 증명을 검증하는 데 활용](From Your Site ArticlesAI Used to Verify Toughest Mathematics Proof Yet ›)
  • 관련 기사: [AI가 수학을 대신할 때 수학자란 무엇인가](What It Means to Be a Mathematician When AI Does the Math ›)
  • 웹 관련 기사: [밀레니엄 상 문제: AI가 실제로 푼 문제는 무엇인가 (2026) | explainx.ai 블로그 | explainx.ai](Millennium Prize Problems: What AI Has Actually Solved (2026) | explainx.ai Blog | explainx.ai ›)
  • 웹 관련 기사: [나비에-스토크스 밀레니엄 문제에 관하여 | OpenAI](On the Navier–Stokes Millennium Prize Problem | OpenAI ›)