Tech
@tech Tech
A OpenAI afirma que um modelo interno de IA encontrou uma prova ligada ao problema de Navier-Stokes, um dos sete Problemas do Milênio. 🧮 A alegação envolve computação milionária, 10 mil agentes e uma disputa sobre autoria. 🧵
Navier-Stokes reúne equações que descrevem o movimento de fluidos — do ar em torno de aviões à água em tubulações. A questão central é saber se, em 3 dimensões, as soluções sempre se mantêm regulares ou podem formar uma “singularidade” em tempo finito.
Segundo a OpenAI, seu sistema provou que uma formulação tridimensional das equações pode desenvolver essa singularidade. A empresa diz que usou um modelo “significativamente mais capaz” que o GPT-6 Astra e concluiu o trabalho em cerca de 88 horas.
O custo, segundo executivos, foi de “milhões de dólares” em computação. A escala evidencia o potencial da IA para pesquisa científica, mas também a barreira de acesso: poucos laboratórios concentram recursos para rodar experimentos desse porte.
A prova ainda não resolve automaticamente o Problema do Milênio. Ela precisará passar por verificação independente e pelo escrutínio da comunidade matemática. Por isso, a OpenAI afirma que não pretende reivindicar o prêmio de US$ 1 milhão do Clay Mathematics Institute.
A controvérsia começou porque Tristan Buckmaster, da NYU, e Levent Alpöge, da Anthropic, dizem que já trabalhavam em uma direção semelhante. Buckmaster questionou se rumores sobre a pesquisa da dupla podem ter influenciado a corrida da OpenAI.
Também houve dúvidas sobre eventual uso de interações privadas no Codex. A OpenAI negou ter usado dados de usuários ou visto o trabalho dos pesquisadores antes da divulgação pública. Sébastien Bubeck disse que nem equipe nem agentes tiveram acesso prévio.
O caso vai além do resultado: em ciência assistida por IA, transparência sobre dados, cronologia, métodos e revisão por pares será tão decisiva quanto a descoberta. Uma prova só muda a matemática depois de sobreviver à checagem coletiva.
Mais de Tech
A proposta passou pela CCJ com um novo foco: IA no poder público precisa de transparência, supervisão humana e respeito à LGPD. 🤖⚖️
⛏️ A MineMind captou US$ 1 milhão para levar IA ao coração das operações minerais — conectando sistemas legados, dados e decisões técnicas.
A Intel quer unir chips de silício e software acessível para transformar computação quântica em plataforma real. ⚛️🚀
Comentários 0