메뉴
HN
Hacker News • 4일 전

OpenAI, 나비에-스톡스 문제의 '틀린 문제'를 풀었나?

IMP
8/10
핵심 요약

OpenAI가 클레이 수학연구소의 100만 달러 상금이 걸린 나비에-스톡스 문제를 풀었다고 주장했지만, 많은 전문가들은 이 증명이 외부 힘이 포함된 변형 문제를 푼 것일 뿐 수학자들이 실제로 관심을 두는 순수한 원래 문제와는 무관하다고 지적합니다. 세 수학자가 OpenAI의 방법으로는 완전한 문제를 풀 수 없음을 증명하며, 이 '허점'은 근본적으로 새로운 아이디어 없이는 닫힐 수 없다는 논란이 커지고 있습니다.

번역된 본문

2026년 9월 21일, 4분 소요

OpenAI의 증명은 클레이 수학연구소의 100만 달러 상금 대상에 부합하는 듯 보이지만, 논란이 되는 허점을 이용한 것이다.

조지프 하울렛(Joseph Howlett) 작성, 리 빌링스(Lee Billings) 편집

수학자들이 AI가 자신들의 분야를 잠식하는 것에 어떻게 대응하고 있는지는 본지의 특집 기사에서 확인할 수 있다. 수학을 좋아한다면 매주 발행되는 뉴스레터 'Proof Positive'에 가입해 보라.

2주 전 OpenAI는 수학계 최대 난제 중 하나인 나비에-스톡스 문제를 해결했다고 주장했으며, 이는 클레이 수학연구소가 100만 달러의 상금을 걸어둔 성과다. 이 증명은 AI 기업들의 수학 분야 파괴 경쟁에 대한 우려라는 화약고에 불을 붙였다. 그러나 논란의 먼지가 채 가라앉기도 전에 다른 문제가 부상하고 있다. 과연 OpenAI는 올바른 나비에-스톡스 문제를 풀었는가?

OpenAI 내부의 대규모 언어 모델(LLM)이 생성한 이 증명은 많은 전문가들이 부자연스럽다고 느끼는 접근 방식에 의존한다. 이는 수학자들이 현실과 동떨어져 있어 덜 흥미롭다고 말하는 문제의 변형을 푼 것이다. 어떤 의미에서 이 LLM은 문제 설정의 허점을 찾아내어 이용한 셈이다.

"가장 중요한 문제는 여전히 풀리지 않았습니다." 시카고 대학교의 수학자 루이스 실베스트레(Luis Silvestre)는 말했다. "클레이 문제는 해결되었지만, 나비에-스톡스 방정식의 본질적 문제는 그렇지 않습니다."

게다가 지난 목요일 세 명의 수학자가 자체 증명을 발표하며 OpenAI의 방법으로는 완전한 문제를 절대 풀 수 없음을 보여주었다. 다시 말해, 완전히 새로운 아이디어가 나오지 않는 한 이 허점은 결코 닫히지 않는다는 것이다.

나비에-스톡스 방정식은 유체가 어떻게 흐르는지를 기술하는 것이지만, 수학자들은 이 방정식이 항상 신뢰할 수 있는지 의심하고 있다. 이 100만 달러짜리 문제는 방정식이 '블로우업(blow up)', 즉 유체 흐름이 특정 지점에서 무한히 빨라지는 것을 허용하는지에 관한 것이다. 이는 현실 세계에서 일어날 수 없는 일이다.

그런데 방정식에는 선택적인 부분이 하나 있다. 즉, 때로는 있고 때로는 없는 항이 있다. 여기서 말하는 '그것'은 유체의 움직임에 영향을 주는 중력 같은 외부 힘이다. 수학자 디에고 코르도바(Diego Córdoba)는 "우리가 아는 모든 유체는 어떤 종류의 외부 힘을 받고 있습니다. 그래서 힘이 있는 것이 완전히 말이 됩니다"라고 말한다.

하지만 대부분의 전문가들이 나비에-스톡스 문제를 생각할 때는 이 외부 힘을 제외하고 고려한다. 그들은 특정하고 정교하게 조작된 외부 힘을 가하는 것이 아니라, 어떤 유체든 내재된 고유한 힘만을 이용해 방정식이 블로우업되는 더 순수하고 근본적인 방식을 찾기를 원한다. 수학자 루이스 마르티네스-조로아(Luis Martínez-Zoroa)는 "사실 대부분의 다른 연구 그룹은 힘이 없는 시나리오를 구체적으로 다루고 있었습니다"라고 말한다.

그러나 지난 몇 년간 코르도바와 마르티네스-조로아는 방정식의 이 틈새 부분에 모든 노력을 쏟아부었고, 블로우업을 유발하는 매우 특정한 외부 힘을 만들어내는 방법을 제시했다. 9월 7일, 다른 두 명의 수학자가 그들의 프로그램(과 AI)을 이용해 마찰이 없는 유체에 대한 블로우업을 만들어냈으며, 이는 나비에-스톡스 블로우업을 향한 중대한 진전으로 평가되었다. OpenAI는 그로부터 하루도 채 지나지 않아 마지막 작업을 완료했고, 이 타이밍은 후자의 두 수학자 사이에 격렬한 논쟁을 불러일으켰다.

원문 보기
원문 보기 (영어)
September 21, 2026 4 min read Add Us On Google Add SciAm Did OpenAI solve the wrong Navier-Stokes problem? OpenAI’s proof seems eligible for a $1-million prize—but only by using a controversial loophole By Joseph Howlett edited by Lee Billings Read about how mathematicians are dealing with the AI takeover of their field in our feature here . Love math? Sign up for our weekly newsletter Proof Positive Enter your email I agree my information will be processed in accordance with the Scientific American Inc. Privacy Policy . We leverage third party services to both verify and deliver email. By providing your email address, you also consent to having the email address shared with third parties for those purposes. Sign Up Two weeks ago OpenAI claimed a solution to one of the biggest open problems in math —the Navier-Stokes problem —an achievement worth a $1-million prize from the Clay Mathematics Institute. The proof ignited a powder keg of concern over artificial intelligence companies’ race to disrupt the subject. But with the dust still far from settled, a different controversy is emerging: Did OpenAI even solve the right Navier-Stokes problem? Generated by an internal large language model (LLM), OpenAI’s proof relies on an approach that many experts find unnatural. It solves a variant of the problem that mathematicians say is disconnected from reality and thus less interesting. In a sense, the LLM found and exploited a loophole in the framing of the question. On supporting science journalism If you're enjoying this article, consider supporting our award-winning journalism by subscribing . By purchasing a subscription you are helping to ensure the future of impactful stories about the discoveries and ideas shaping our world today. “The most important problem is unsolved,” says Luis Silvestre, a mathematician at the University of Chicago. “The Clay problem is settled, but the main problem for the Navier-Stokes equations is not.” Furthermore, last Thursday, three mathematicians posted a proof of their own that showed that OpenAI’s method can never be extended to solve the full problem. In other words, the loophole will never be closed, barring some completely new idea. The Navier-Stokes equations are supposed to describe how fluids flow, but mathematicians doubt whether they can always be trusted. The million-dollar problem is about whether the equations ever “blow up,” which would mean they’d allow the flow to be infinitely fast at points—something that can’t happen in the real world. But there’s one piece of the equations that’s optional—sometimes it’s there; sometimes it isn’t. The “it” here is an external force such as gravity that affects how a fluid moves. “All fluids we know of are under some kind of external force,” says mathematician Diego Córdoba. “So to have the force makes complete sense.” When most experts think about the Navier-Stokes problem, though, it’s without this force. They want to find a purer, more fundamental way for the equations to blow up by using only the intrinsic forces within any fluid—not by applying some specific, precisely contrived external force. “Most of the other groups, it’s true, were specifically considering the scenario without a force,” says mathematician Luis Martínez-Zoroa. In the past few years, though, Córdoba and Martínez-Zoroa put all their focus on this niche piece of the equations and laid out a method to build a very specific external force to trigger a blowup. On September 7 two other mathematicians used their program (and AI) to produce a blowup for a frictionless fluid—considered a major step toward blowing up Navier-Stokes. OpenAI finished the job less than a day later—timing that has led to a heated dispute between the latter two mathematicians and the company. But the new work released last Thursday shows unequivocally that if the force is removed, the blowup will disappear. OpenAI’s method can never work, in fact, without using a very contrived equation for the force that is unlike anything that could occur in the real world. “They essentially prove that the formulation with an external force was different from the problem we really wanted to solve,” Silvestre says. In other words, the LLM’s result does not—and will never—answer the Navier-Stokes problem that mathematicians really care about. It did, however, unambiguously solve the problem according to the Clay Institute’s original formulation. The official problem statement , penned in 2000 by mathematician Charles Fefferman, offers an option called “C,” in which solutions are allowed to use an external force like OpenAI’s. Now fluid dynamicists are grappling with a possibility few had considered before: the idea that the Navier-Stokes equations can blow up but only with an external force. In this scenario, you can mathematically place a fluid in a specific, unrealistic situation to break the equations, yet the blowup can never come from the fluid itself. “It’s really uncertain at this moment,” says mathematician Gonzalo Cao-Labora. “Depending on the answer to this, I think the contribution of OpenAI will be regarded differently.” If it turns out to be true, he adds, “people would probably think about the Clay problem and say, ‘We shouldn’t have put the external force in the statement.’” This might even be good news for “team humanity.” LLMs are great at finding blowups that exist—at searching the infinite landscape of fluid scenarios and plucking out the precise situation that breaks the equations. But proving that blow-up is impossible is a kind of math AI still struggles with. “We may be at less of a disadvantage, or maybe an advantage, compared to LLMs,” says Cao-Labora. “LLMs are especially good at constructing things that are very explicit and not as good—for now—in making new theory.” But regardless of whether the path to solving the full Navier-Stokes problem requires a clever new blowup or a whole new mathematical discipline, everyone is becoming more hesitant to bet against the machines. “We are really amazed with how [the technology] has evolved in the last year—so we don't know how it will look in one year,” says Cao-Labora. “It’s really a wake-up call to the community.” Subscribe to Support Independent Journalism Great science journalism requires human expertise, time, effort and creativity. And it costs money. That’s why I and the journalists here at Scientific American hope you’ll join our community. When you subscribe, you are supporting staff and freelance journalists who are passionate about telling science stories that are true, important and compelling. Our editors and reporters are often experts in their fields, which means they understand the nuances of big discoveries and can untangle the breakthroughs from the hype. With a subscription, you are also supporting rigorous fact-checking to ensure the words we publish are precise and accurate. And you’re supporting original illustrations, graphics and photos that bring you closer to an advanced laboratory, an ice sheet in Antarctica or a space mission in orbit. You’re helping us craft other types of high-quality journalism as well: Our newsletters are carefully written, edited and curated by staffers you have or will come to know and love. Our Science Quickly podcast is based on original reporting, collaboration with editors and scientists and exacting production. Subscriptions keep this engine running so we can continue to deliver thoughtful, rigorous and independent science journalism to you. In an era of viral misinformation, this wo