- A OpenAI retirará sua solução de Navier-Stokes até 31 de dezembro de 2026?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.
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.