- OpenAI는 2026년에 Navier-Stokes 방정식의 해법을 철회할까요?6¢6%
OpenAI’s September 2026 announcement of an AI-generated proof establishing finite-time singularity for the forced 3D Navier-Stokes equations—complete with a publicly released 166-page manuscript and Lean formalization—has anchored trader sentiment against retraction. The machine-verified formalization and the result’s alignment with Clay Institute statements C and D provide a high bar for any later withdrawal, even amid credit disputes with Buckmaster and Alpöge and separate retractions of other OpenAI math preprints in October. Community scrutiny continues without reported fatal errors, while the company’s decision not to claim the Millennium Prize reduces external pressure. A reversal would require discovery of a substantive flaw in the verified construction or a major shift in how the result is framed, outcomes that remain low-probability given the current verification status.
규칙
시장 생성 시점부터 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의 공식 정보이지만, 신뢰할 수 있는 보도들의 합의도 사용할 수 있습니다.
기계 번역입니다. 분쟁 시 원문이 우선합니다.