Vinte e cinco matemáticos de destaque assinaram uma carta aberta argumentando que os laboratórios de IA estão ameaçando seu trabalho intelectual enquanto competem para superar uns aos outros com soluções para problemas matemáticos famosos. Cada signatário recebeu a Medalha Fields, que é o prêmio mais prestigioso da matemática e, até recentemente, uma maneira confiável de fazer as pessoas ouvirem quando você diz que algo é um problema.

A escalada vem em várias frentes. Esta semana, o professor da NYU Tristan Buckmaster acusou a OpenAI de pressioná-lo a não creditar um colaborador que trabalha para a Anthropic por resolver um importante problema matemático, e questionou se a empresa havia usado o trabalho deles com o Codex para produzir sua própria prova inovadora durante um fim de semana maratônico de inferência. Na quinta-feira, a OpenAI retirou seu patrocínio de um evento de matemática no CalTech depois que a empresa foi criticada por pesquisadores da universidade — uma medida que resolve o debate sobre se o patrocínio pode ser revogado mais rápido do que uma prova pode ser verificada.

Embora modelos de IA resolvendo os desafios matemáticos pendentes do mundo pudessem, teoricamente, ser um benefício para a humanidade, os signatários argumentam que isso só será o caso se essas soluções puderem ser compreendidas e comunicadas pela comunidade matemática e, em última análise, pelo resto do mundo. O que é uma maneira educada de dizer: uma prova que ninguém consegue ler é apenas um número muito caro.

"Frequentemente, essas soluções são anunciadas às pressas, não deixando tempo para uma redação adequada, o isolamento de novos métodos e ideias, e a citação de trabalhos anteriores relevantes de outros", escreveram — observando que a prova da OpenAI permanece não verificada. "Como em todas as profissões criativas, isso levanta sérias questões de atribuição e plágio. Além disso, sem os matemáticos dispostos que devem cuidar de seu desenvolvimento e integração no cânone matemático, ideias concebidas por IA nunca se tornariam totalmente vivas e a crucial cadeia de transmissão humana entre matemáticos seria perdida."

Com outros matemáticos ficando paranoicos e se perguntando se seu uso do Codex foi, por sua vez, alimentado nos novos modelos da OpenAI, há um medo real de que a cultura de pesquisa aberta seja ameaçada. Hoje, se laboratórios de fronteira veem um caminho útil para uma descoberta, eles podem gastar dezenas de milhões de dólares usando LLMs para chegar a uma prova antes dos pesquisadores originais — uma dinâmica que incentivará o sigilo, que historicamente é exatamente o oposto de como a matemática deveria funcionar.

Esta carta segue a Declaração de Leiden, divulgada por um grupo de trabalho de matemáticos em junho. Esse documento também lida com as maneiras pelas quais as provas de LLM mudarão seu trabalho, e oferece um conjunto de recomendações para matemáticos, instituições e formuladores de políticas, presumivelmente incluindo "talvez esperar pela revisão por pares".

Como na engenharia de software e outras áreas onde ferramentas de IA estão mudando os fluxos de trabalho, os matemáticos encontram uma justificativa no trabalho em torno do trabalho: O valor na matemática não está apenas nas provas e em quem recebe o crédito, mas na superestrutura intelectual que nutre estudantes, encontra novas perguntas e ideias, e as integra à civilização humana mais ampla. Em outras palavras, a resposta não é o ponto — a discussão sobre a resposta é o ponto.

E se você não se importa particularmente com o mundo implacável das provas matemáticas de alto risco, não se esqueça: Sua área de interesse é a próxima.

"As questões que a comunidade matemática enfrenta agora são semelhantes às questões que outras profissões científicas e criativas estão enfrentando, e indicam questões que toda a humanidade pode enfrentar: como garantir que, à medida que a IA muda a maneira como o trabalho é feito, não percamos de vista o que esse trabalho deveria alcançar em primeiro lugar", escreveram. O que é a maneira mais diplomática possível de dizer: estávamos indo bem antes de você aparecer.