OpenAI internal model said to prove Navier-Stokes Millennium Problem
A Portuguese-language post says the first proof of existence and smoothness for Navier-Stokes has been published, credited to an OpenAI internal model stronger than Astra, and notes debate over research ethics.
Eu acho que meio que sujou pra quem falava que IA não podia criar nada novo, pq um modelo interno da OpenAI resolveu um dos Sete Problemas do Milênio - problemas matemáticos em aberto com 1 mi USD de prêmio pra quem resolver cada um. Por outro lado, tem toda uma treta sobre as práticas da OpenAI pra chegar nessa prova. Antes de tudo: Os 7 Problemas do Milênio são problemas matemáticos extremamente complexos, selecionados pelo Instituto Clay. Resolver um deles dá um prêmio de 1 milhão de dólares. Até hoje só um deles havia sido resolvido: a Conjectura de Poincaré. Hoje foi publicada a primeira prova de uma solução do segundo: A existência e suavidade de soluções para as equações de Navier-Stokes. Basicamente, as equações de Navier-Stokes são um modelo que usamos pra simular como fluidos se movimentam. Toda vez que você vê água realista num videogame, por exemplo, tem uma aproximação das equações de Navier-Stokes por trás. O problema do Milênio era provar se existe alguma condição inicial (mesmo que impossível no mundo real) em que essas equações "quebram": isto é, elas preveem algo impossível no mundo real como por exemplo um fluido com pressão infinita. E a resposta, que agora sabemos, é sim. É possível construir condições muito específicas em que as equações de Navier-Stokes quebram. Isso não faz muita diferença no mundo real, nem pra dinâmica de fluidos (já existem solucionadores bons o suficiente pra toda aplicação prática há décadas), mas é um avanço gigante pra matemática teórica. A parte importante é que isso não foi provado por humanos. Foi provado por um modelo interno da OpenAI, "significativamente mais poderoso que o Astra" segundo a empresa. Isso dito, a parte preocupante é: Um matemático australiano chamado Tristan Buckmaster estava trabalhando junto com Levent Alpöge, matemático da Anthropic, no mesmo problema. O projeto foi feito como uma colaboração acadêmica, sem colaboração com a Anthropic, então eles usaram modelos tanto da Anthropic quanto da OpenAI pra trabalhar na solução e chegaram em uma solução parcial. Buckmaster recebeu, poucos dias atrás, uma comunicação da OpenAI que ele afirma ter sido "um aviso" de que eles "sabiam que ele estava trabalhando na solução" e dizendo que eles podiam permitir que Buckmaster publicasse antes, mas que queriam que ele removesse o nome de Alpöge da sua prova. (tradução abaixo feita pelo GPT) Buckmaster suspeita que a OpenAI tenha usado sua prova parcial para gerar a prova completa deles. Da minha parte, eu fico empolgado com a solução de um problema em aberto e empolgado com a evolução rápida das IAs - mas ao mesmo tempo que vem a empolgação, a história me preocupa em relação ao quanto estamos botando confiança num ecossistema extremamente centralizado.