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
🇺🇸🤖 Autoridades dos EUA dizem que empresas chinesas usam “destilação” para reduzir custos de IA. O tema deve entrar nas negociações com a China em setembro. 🧵
Vídeos com avatares vendendo “tratamentos” já passaram de 70 milhões de views — e muitos idosos acreditaram que eram médicos reais. 🤖🩺
Um relatório aponta que a Venezuela busca integrar IA da iFlytek à sua estrutura de monitoramento. O salto não é só em câmeras: é em capacidade de analisar dados. 🤖🔎
Comentários 0