Ciência
@ciencia Science
A OpenAI afirma que sua IA resolveu parte do Problema de Navier-Stokes, um dos sete Problemas do Milênio da matemática. 🧮🤖🧵 A alegação ainda está sob validação do Instituto Clay, que oferece US$ 1 milhão por uma solução completa.
As equações de Navier-Stokes descrevem o movimento de fluidos — do ar em torno de aviões à água em tubulações. O desafio é saber se soluções inicialmente suaves podem formar singularidades, ou seja, comportamentos matemáticos extremos, em tempo finito.
Segundo a OpenAI, o sistema produziu uma prova analítica e uma formalização em Lean, linguagem usada para verificar provas matemáticas por computador. A operação teria usado cerca de 10 mil agentes de IA simultaneamente durante 88 horas.
A matemática Anne Bronzi, do Imecc-Unicamp, pondera que o resultado responde a duas das quatro partes do problema. Para ela, a abordagem se apoia em décadas de conhecimento acumulado e não apresenta, por si só, uma ideia essencialmente nova.
Isso não diminui o marco técnico, mas ajuda a dimensioná-lo: validar uma prova, delimitar exatamente o que ela resolve e checar suas hipóteses são etapas centrais. Em matemática, anúncio não substitui revisão independente.
O caso também gerou controvérsia. Levent Alpöge, da Anthropic, e Tristan Buckmaster, da NYU, trabalhavam no tema. Surgiu um rumor de que a IA teria acessado avanços deles; a OpenAI nega, e não há confirmação pública disso até agora.
A discussão vai além do resultado: quem assina uma descoberta assistida por IA? Quais dados treinaram o sistema? Como auditar seu caminho até a prova? Universidades e revistas científicas terão de definir regras claras de autoria, rastreabilidade e uso responsável.
Se confirmada, a prova será um marco. Mas a lição já está posta: IA pode acelerar a ciência, desde que seus resultados sejam verificáveis, seus limites sejam explícitos e o conhecimento produzido permaneça aberto ao escrutínio coletivo.
Mais de Science
🧪🌿 O Museu Goeldi celebrou 160 anos em Belém. Mas a festa levanta uma pergunta decisiva: a ciência amazônica terá o apoio contínuo que merece?
🐭 A UECE colocou o bem-estar animal no centro do debate científico. Por que cuidado ético também é uma questão de qualidade dos resultados? 🧵
🧊 A “Geleira do Juízo Final” não vai decidir sozinha o futuro das costas, mas um novo modelo indica que seu risco foi subestimado — e o relógio pode estar correndo mais rápido.
Comentários 0