- OpenAI는 2026년 12월 31일까지 Navier–Stokes 해를 철회할까요?6¢6%
OpenAI’s September 2026 announcement of an AI-generated proof showing finite-time blowup for the forced 3D Navier-Stokes equations, backed by a Lean formalization, has sustained strong market conviction against retraction. The result stems from an internal multi-agent system consuming 130 billion tokens, and while a credit dispute with mathematicians Tristan Buckmaster and Levent Alpöge plus a mismatch between the natural-language write-up and Lean code have drawn scrutiny, no fatal flaw has emerged in subsequent reviews. Recent withdrawals of unrelated OpenAI math preprints highlight the company’s willingness to correct errors quickly, yet the Navier-Stokes claim remains intact amid deliberately unhurried Clay Institute evaluation. Traders see limited realistic paths to retraction by year-end absent a verified contradiction in the machine-checked steps.
규칙
시장 생성 시점부터 2026년 12월 31일 오후 11:59 ET까지 OpenAI가 Navier-Stokes 해법을 철회하면 이 시장은 "예"로 판정됩니다. 그렇지 않으면 이 마켓은 "아니오"로 판정됩니다. OpenAI의 Navier-Stokes 해법은 OpenAI가 2026년 9월 8일에 발표한 Navier-Stokes 해법을 의미합니다(https://openai.com/index/navier-stokes-solution/). OpenAI가 발표된 증명이 틀렸거나 Navier-Stokes 문제를 풀지 못한다고 공식적으로 공개 선언하면 조건을 충족하는 철회로 간주합니다. 다른 당사자의 발언은 조건을 충족하지 않습니다. 초기 증명이 Navier-Stokes 문제의 해법으로서 옳다는 점을 철회하지 않는 수정은 조건을 충족하지 않습니다. 결과의 저자, 공로 또는 귀속에 관한 발언이나 Millennium Prize 자격 여부에 관한 발언은 그 자체만으로는 조건을 충족하지 않습니다. 이 시장의 주요 판정 출처는 OpenAI의 공식 정보이지만, 신뢰할 수 있는 보도들의 합의도 사용할 수 있습니다.
기계 번역입니다. 분쟁 시 원문이 우선합니다.