25 medalhistas Fields criticam labs de IA em carta

Vinte e cinco matemáticos premiados com a Medalha Fields, a mais prestigiosa distinção da área, assinaram nesta sexta-feira (11) uma carta aberta contra a forma como os laboratórios de inteligência artificial vêm anunciando soluções de problemas matemáticos famosos.

O texto não cita uma empresa isolada, mas chega no auge do atrito entre a comunidade matemática e a OpenAI. Segundo os signatários, as soluções “são anunciadas às pressas, sem tempo para uma redação adequada, para o isolamento de novos métodos e ideias e para a citação de trabalhos anteriores de terceiros”.

A crítica central é de método, não de capacidade. Os matemáticos argumentam que, sem documentação completa e sem absorção pela comunidade, uma ideia concebida por IA “nunca se torna plenamente viva” — ou seja, não pode ser verificada, reaproveitada nem ensinada. A carta também levanta questões de atribuição e de plágio.

O estopim

O pano de fundo é a prova das equações de Navier-Stokes divulgada pela OpenAI, que segue sem verificação independente. Em 8 de setembro, o professor Tristan Buckmaster, da Universidade de Nova York, acusou publicamente a empresa de pressioná-lo a não creditar um colaborador que trabalha na Anthropic pela solução de um problema importante.

Buckmaster foi além e questionou se a própria OpenAI teria usado o trabalho que ele e colegas fizeram dentro do Codex para produzir sua prova em um fim de semana de inferência intensiva. A suspeita se espalhou: outros pesquisadores passaram a se perguntar se o uso que fazem de assistentes de código estaria realimentando os modelos das empresas.

É esse o risco que a carta descreve como mais grave. Se cada grupo passar a esconder resultados parciais por medo de ser ultrapassado por um laboratório com capacidade de computação superior, a cultura de pesquisa aberta que sustenta a matemática moderna se deteriora. O documento ecoa a Declaração de Leiden, publicada em junho de 2026 com preocupações semelhantes sobre sigilo induzido por competição.

OpenAI recua no Caltech

A reação da empresa foi silenciosa e rápida. Na quinta-feira (10), a OpenAI retirou o patrocínio de um evento de matemática no Instituto de Tecnologia da Califórnia (Caltech) depois de ser criticada por pesquisadores da própria universidade. O evento, um “mathathon”, perdeu o aporte sem que a companhia divulgasse comunicado detalhado sobre a decisão.

O episódio expõe uma tensão que deve se repetir. Os laboratórios têm interesse comercial em demonstrar que seus modelos resolvem problemas de fronteira, porque isso funciona como prova pública de capacidade. Já a matemática acadêmica opera em outro relógio: uma prova só vale depois de revisada, replicada e integrada à literatura — processo que costuma levar meses ou anos.

Até o momento, nenhuma das provas anunciadas por laboratórios de IA em 2026 passou por validação completa da comunidade. A carta pede, na prática, que os anúncios sigam o rito normal da disciplina antes de virarem manchete.

Fontes: TechCrunch, TechCrunch, Gizmodo