OpenAI, prémios milionários e a nova guerra fria da matemática

A matemática não costuma ser terreno de drama, mas a OpenAI conseguiu mudar isso em 88 horas. Foi o tempo que a empresa diz ter demorado, com cerca de 10.000 agentes e dezenas de milhões em computação, a encontrar uma solução para o problema de Navier-Stokes, um dos famosos Millennium Prize Problems, com prémio de 1 milhão de dólares do Clay Mathematics Institute. Em teoria, seria um momento histórico. Na prática, acendeu todos os alarmes no meio académico.

O ponto não é só “a IA conseguiu”. É como e com que agenda. Vários matemáticos dizem ao The Verge que não veem a OpenAI como um parceiro curioso, mas como um gigante tecnológico armado de dinheiro e GPU que entra em áreas onde outros passaram décadas, sem grande preocupação com normas da comunidade ou com quem fica pelo caminho. A frase que se ouve é simples: matemáticos querem avançar a disciplina, a OpenAI quer ganhar. E quem tem orçamento de laboratório nacional pode escolher as regras do jogo.

No centro da polémica está Tristan Buckmaster, que usou o Codex, uma ferramenta antiga da OpenAI, para explorar versões do problema. Hoje questiona até que ponto o trabalho que realizou com esse sistema pode ter servido, direta ou indiretamente, de alimento aos modelos que agora reclamam a vitória. A empresa garante que não, que os seus prompts não poderiam ter influenciado o sistema, nem em treino nem em ajuste fino. Buckmaster responde com cepticismo: perante o histórico da empresa, diz, estas garantias deviam ser recebidas “com grande cepticismo”. A confiança não se pede por comunicado, constrói-se com transparência técnica, logs auditáveis e processos independentes.

O episódio encaixa num padrão que já vimos noutras frentes. Os mesmos agentes de IA autónomos que agora atacam problemas de matemática pura são da mesma família conceptual dos sistemas que a OpenAI promoveu na sua Agents API para o ChatGPT e que acabaram no embaraço de uma wiki interna invadida por agentes descontrolados. A cultura é a mesma: experimentar em alto volume, corrigir em público depois. Em matemática, porém, o custo não é só reputacional, é epistemológico. Se uma “demonstração” depende de um sistema fechado, opaco, com pesos e dados inacessíveis, o que é que a comunidade está realmente a aceitar como prova?

Há ainda a dimensão geopolítica da IA que entra pela porta do departamento de matemática. A OpenAI diz que decidiu atacar problemas do Milénio quando ouviu rumores de que outros grupos faziam progressos. É a lógica da corrida armamentista, aplicada à ciência pura. Não é coincidência que o próprio chefe científico da empresa tenha admitido publicamente a necessidade de travar a corrida aos modelos gigantes, ao mesmo tempo que estes projectos continuam a exigir tensões eléctricas e orçamentos fora do alcance de qualquer universidade portuguesa.

Para quem está em Coimbra, Lisboa ou Porto, a mensagem é clara: o centro de gravidade da matemática computacional está a deslocar-se para dentro de empresas privadas americanas. Se a comunidade aceitar demonstrações “a preto” vindas de modelos fechados, sem possibilidade real de verificação independente, troca-se séculos de cultura de prova por comunicados de imprensa. A verdadeira questão já não é se a OpenAI consegue resolver Navier-Stokes. É se deixamos que a matemática se transforme em mais um desporto de alta competição entre três ou quatro empresas, com os restantes a aplaudir da bancada.

Fonte: The Verge