- A OpenAI retirará sua solução das equações de Navier-Stokes em 2026?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.
Regras
Este mercado será resolvido como "Sim" se a OpenAI retirar sua solução de Navier-Stokes entre a criação do mercado e 31 de dezembro de 2026, às 23:59 ET. Caso contrário, este mercado será resolvido como "Não". A solução de Navier-Stokes da OpenAI refere-se à solução de Navier-Stokes que a OpenAI anunciou em 8 de setembro de 2026 (https://openai.com/index/navier-stokes-solution/). Uma retratação válida ocorre quando a OpenAI declara oficialmente e publicamente que a prova publicada estava incorreta ou não resolve o problema de Navier-Stokes. Declarações de qualquer outra parte não serão consideradas válidas. Revisões que não retratem a validade da prova inicial como solução para o problema de Navier-Stokes não serão consideradas válidas. Declarações sobre autoria, crédito ou atribuição do resultado, ou sobre sua elegibilidade ao Millennium Prize, não serão consideradas válidas por si só. A principal fonte de resolução deste mercado serão as informações oficiais da OpenAI; no entanto, também poderá ser utilizado um consenso de reportagens confiáveis.
Tradução automática. Em caso de divergência, prevalece o original.