Caras(os), No que depender da AMS, parece que a questão já está resolvida, mesmo antes de ser avaliada por especialistas <https://www.ams.org/news?news_id=7686>.
Curioso que essa descoberta tenha sido feita justo agora que acabaram de lançar uma nova versão de seu modelo de linguagem (com alegação de que se trata de AGI, claro)... Parece que a dúvida que realmente resta é saber se os frutos do vindouro IPO estão garantidos com essa nova jogada! Abraços, *Anderson* On Tue, Sep 8, 2026 at 9:56 PM yuri lumer <[email protected]> wrote: > Pelo que li , ela supostamente resolveu a conjectura proposta. Pela regra > do programa para fazer jus ao prêmio tem que ser publicado e esperar 2 anos > para ver se não é contradito. > > Vamos ver o que os especialistas dizem nos próximos dias. De toda forma é > mais uma evidência do que parece ser mesmo uma revolução inexorável na > matemática. > > Em ter., 8 de set. de 2026, 21:19, Walter Carnielli <[email protected]> > escreveu: > >> Mas será que essa 'solução ' responde à pergunta do Clay Institute? >> >> Será que eles vão liberar o milhãozinho de dólares e considerar o >> problema *realmente* resolvido? >> >> Nao é que eu duvide, é que não sei mesmo.. E penso que até o momento >> ninguém sabe. >> >> W. >> >> >> >> >> ======================== >> Walter Carnielli >> CLE and Department of Philosophy >> University of Campinas –UNICAMP, Brazil >> >> AI2- Advanced Institute for Artificial Intelligence >> Blog https://waltercarnielli.com/ >> >> >> Em ter., 8 de set. de 2026 18:12, yuri lumer <[email protected]> >> escreveu: >> >>> Open Ai "resolveu Navier Stokes"? Pedi ao Chat GPT para resumir. >>> >>> A ideia central da prova divulgada hoje pela OpenAI é construir >>> explicitamente uma solução das equações de Navier–Stokes incompressíveis em >>> três dimensões que começa perfeitamente regular — na construção, o fluido >>> começa inclusive em repouso — mas cuja velocidade se torna infinita em um >>> tempo finito, tomado como t=1t=1. O mecanismo é um *vórtice >>> autossimilar que vai se concentrando* perto da origem: quando >>> τ=1−t→0\tau=1-t\to0, o raio do núcleo diminui aproximadamente como >>> τ1/2\tau^{1/2}, enquanto sua extensão axial diminui um pouco mais >>> lentamente, e as velocidades angular e axial crescem aproximadamente como >>> τ−1/2−h\tau^{-1/2-h}, com h>0h>0 pequeno. Assim, o vórtice fica cada vez >>> mais estreito e gira cada vez mais rápido. O ponto engenhoso é que a região >>> onde isso acontece diminui tão depressa que a *energia cinética total >>> continua limitada — e, no núcleo, chega a tender a zero — mesmo enquanto a >>> velocidade máxima tende ao infinito*. Isso produz exatamente o tipo de >>> “blow-up” que o problema pergunta se pode ocorrer. >>> >>> A parte tecnicamente mais difícil é fazer isso obedecer às Navier–Stokes >>> com *viscosidade positiva e uma força externa perfeitamente suave*. O >>> vórtice principal sozinho deixaria um erro — ou “resíduo” — que também >>> explodiria quando t→1t\to1. A construção introduz então famílias de >>> pequenas ondas ou pulsos oscilatórios na região ao redor do núcleo. Pela >>> não linearidade (u ⋅ ∇)u(u\!\cdot\!\nabla)u, esses pulsos transportam >>> momento e produzem uma tensão média cuidadosamente escolhida para cancelar, >>> ordem por ordem, justamente as parcelas divergentes do resíduo; correções >>> adicionais eliminam os erros restantes. No final, a velocidade explode, mas >>> a força f(x,t)f(x,t) permanece C∞C^\infty, compactamente suportada e >>> finita. Se todos os detalhes resistirem à revisão matemática independente, >>> isso estabelece as alternativas *C e D* da formulação oficial do Clay >>> Institute, que explicitamente permitem uma força externa suave — portanto >>> não é a afirmação mais conhecida “sem força” das alternativas A/B, mas >>> ainda é uma das formas que o enunciado oficial aceita como solução do >>> Problema do Milênio >>> >>> >>> https://openai.com/index/navier-stokes-solution/ >>> >>> -- >>> LOGICA-L >>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>> Lógica <[email protected]> >>> --- >>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos >>> Grupos do Google. >>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >>> envie um e-mail para [email protected]. >>> Para ver esta conversa, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOma1UKt%3Dsmwz%3DDvbmosogKf_VR9_QAZ3465Yb6p-0rRpKr3EA%40mail.gmail.com >>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOma1UKt%3Dsmwz%3DDvbmosogKf_VR9_QAZ3465Yb6p-0rRpKr3EA%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOma1UJqbNDSSLpmionvCocZCASL8De5yreQpPgcQG9Trcm7DQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOma1UJqbNDSSLpmionvCocZCASL8De5yreQpPgcQG9Trcm7DQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAJrBeCXhabaxX9cAwwE7ozWpPo-iULaprNVwMFuCiYigZqh1Bg%40mail.gmail.com.
