A Association for Human Mathematics (AHM), associação que reúne matemáticos contrários ao uso de inteligência artificial em atividades centrais da pesquisa, pediu formalmente que a categoria boicote a OpenAI. O motivo foi a publicação, em 6 de outubro de 2026, de um repositório com 722 manuscritos contendo supostos avanços em problemas matemáticos relevantes. Menos de 24 horas depois, três desses textos foram retirados por conterem erros.
A declaração da AHM é datada de 7 de outubro e foi publicada na página de comunicados da associação. Nela, o grupo afirma que os matemáticos "não pediram que esse trabalho fosse feito" e que a OpenAI ignorou a posição do Advisory Group on Mathematics and Artificial Intelligence (AGMAI), grupo consultivo do qual a empresa diz derivar legitimidade para atuar na área. Segundo a AHM, a posição inicial desse grupo consultivo era que empresas de IA de fronteira não deveriam testar problemas matemáticos avançados em modelos internos.
A frase mais dura do documento resume a leitura da associação sobre o episódio: "Lançar mais de 700 arquivos de uma vez não é uma demonstração de erudição, é uma demonstração de poder." O texto termina com um pedido direto: que os matemáticos interrompam o trabalho com a OpenAI e voltem a uma visão da ciência centrada no entendimento humano.
O que a OpenAI publicou
Em 6 de outubro, a OpenAI publicou 722 pré-prints (versões preliminares de artigos científicos, ainda sem revisão por pares) em seu repositório openai/math no GitHub (abre em nova aba). Segundo reportagem do Retraction Watch, a empresa descreveu os textos como progresso suposto em 372 problemas de matemática, abrangendo geometria, ciência da computação, álgebra e outras áreas. A própria OpenAI chamou o lançamento de um esforço "para empurrar a fronteira do conhecimento humano e permitir avanços futuros na matemática".
Um dia depois, em 7 de outubro, três manuscritos foram retirados. A causa foi um erro de sinal, falha aparentemente banal em que um termo aparece com o sinal trocado, mas suficiente para invalidar o argumento de um dos artigos e a construção usada por outros dois que dependiam dele. O anúncio da retirada foi feito na rede social X por Dan Roberts, líder de pesquisa da OpenAI, conforme o Retraction Watch.
Um porta-voz da OpenAI disse ao veículo que os erros foram encontrados durante uma auditoria interna, que a empresa considera bem-vindo o escrutínio e que os artigos serão retirados caso não haja correção possível. O porta-voz afirmou também que colaboradores ligados ao AGMAI recomendaram publicar os resultados sem esperar a "formalização completa", processo em que cada passo de uma prova é verificado de forma mecânica por software. Segundo esse mesmo porta-voz, cerca de metade dos resultados foi divulgada sem confirmação.
Essa admissão é central para entender a reação da comunidade matemática. Em matemática, uma prova só é aceita quando cada etapa é verificada com rigor. Publicar centenas de textos ao mesmo tempo, com metade do conteúdo sem confirmação, inverte a lógica tradicional da área, na qual um único artigo costuma passar meses sob revisão de especialistas antes de circular. O matemático Alex Townsend, de Cornell, e Andrew Sutherland, do MIT, são citados pelo Retraction Watch entre as vozes que comentaram o episódio.
Quem é a AHM e o que o boicote significa na prática
A Association for Human Mathematics é uma associação de matemáticos que se organiza em torno de dois compromissos obrigatórios de seus membros: não trabalhar com empresas comerciais de IA, seja fornecendo trabalho técnico, conhecimento matemático, consultoria ou publicidade, e não publicar textos matemáticos gerados por modelos de IA, reafirmando a autoria humana.
Há ainda um subgrupo opcional, chamado de "caucus livre de IA", cujos integrantes se comprometem a não usar inteligência artificial de forma alguma na pesquisa, incluindo atividades como encontrar provas, explorar exemplos e formular questões de investigação. Segundo a própria página da associação, a AHM tem 809 membros, dos quais 532 pertencem a esse subgrupo. São números declarados pela própria associação, sem listagem independente dos nomes, e a página não informa quando foram atualizados pela última vez.
A declaração de 7 de outubro foi assinada pelo Communications Working Group da associação, sem citar signatários individuais ou uma liderança nominal.
Terence Tao e a crítica ao "harvesting" de problemas
A reportagem do The Decoder, veículo especializado em IA, atribui ao matemático Terence Tao, medalhista Fields, o papel de presidente da AHM. Segundo o veículo, Tao compartilhou a declaração da associação como post de convidado em seu blog, no dia 7 de outubro, e usou a rede Mastodon para descrever o que chamou de era "Math 2.0".
Nessa publicação no Mastodon, Tao teria afirmado que soluções estão sendo "colhidas" (o termo usado é "harvested") em larga escala, deixando ramos inteiros da matemática menos férteis para a pesquisa humana. A preocupação é específica: saber que uma solução já existe pode "contaminar" a busca por outras abordagens, porque muitos matemáticos evitam trabalhar em problemas que já parecem resolvidos, ainda que as novas provas não tenham sido verificadas.
A mesma reportagem registra que o teórico da computação Scott Aaronson chamou a situação de "Mathocalypse" em seu blog. Essas caracterizações de Tao e Aaronson são reportagens do The Decoder sobre publicações dos próprios pesquisadores, não reproduções integrais dos textos.
Ciência, poder e normas
O conflito tem uma dimensão institucional além da técnica. A AHM acusa a OpenAI de desconsiderar as normas da pesquisa científica ao publicar em massa textos sem revisão por pares. A associação também lembra que a empresa enfrenta processos judiciais por acusações de plágio ilegal, violação de direitos autorais e diluição de marca, conforme o texto de sua declaração.
Do lado da OpenAI, o argumento é de que o lançamento contribui para o avanço da matemática e de que o escrutínio externo é bem-vindo. O retumbante começo, com 722 textos de uma vez e três retiradas em menos de um dia, deixou o argumento em posição delicada. Um erro de sinal em uma demonstração matemática não é um detalhe editorial; é a diferença entre uma prova válida e uma inválida. E se uma auditoria interna encontrou esse erro apenas depois da publicação, fica a pergunta sobre quantos dos textos restantes passaram pelo mesmo tipo de verificação, sobretudo quando a própria empresa admite que cerca de 50% dos resultados foram divulgados sem confirmação.
O episódio também expõe uma tensão nova para a revisão por pares. O sistema tradicional foi desenhado para lidar com dezenas de submissões por periódico, não com centenas de manuscritos publicados de uma vez fora dos canais convencionais. Especialistas citados na cobertura, como Townsend e Sutherland, representam a parcela da área que passou a discutir publicamente como absorver esse volume sem comprometer a qualidade da verificação.
O que isso muda
Para matemáticos e pesquisadores, o pedido de boicote cria um dilema concreto: colaborar com a OpenAI pode significar romper com as normas defendidas por uma associação que declara reunir mais de 800 membros, entre eles nomes de peso da área. Para a OpenAI, o episódio é mais um capítulo da disputa sobre os limites do uso de material alheio e de conteúdo gerado por IA, agora dentro de uma das áreas mais exigentes do conhecimento humano.
Não há, nas informações disponíveis, indicação de resposta formal da OpenAI à declaração da AHM, nem de efeito prático imediato do boicote sobre contratos ou colaborações existentes. A associação, por sua vez, não detalha mecanismos de fiscalização dos compromissos de seus membros.
A matemática sempre foi feita de verificação lenta e escrutínio mútuo. Um repositório com 722 textos, metade sem confirmação e três já retirados, testa exatamente o contrário.
Perguntas frequentes
O que a OpenAI publicou em outubro de 2026?
Em 6 de outubro de 2026, a OpenAI publicou 722 pré-prints em seu repositório openai/math, no GitHub, apresentando supostos avanços em 372 problemas matemáticos de geometria, ciência da computação, álgebra e outras áreas.
Por que três artigos foram retirados?
Em 7 de outubro, um erro de sinal invalidou o argumento de um manuscrito e a construção usada por dois textos que dependiam dele. A OpenAI afirmou que os erros foram encontrados em auditoria e que artigos sem correção possível serão retirados.
Quem é a Association for Human Mathematics?
É uma associação de matemáticos cujos membros se comprometem a não trabalhar com empresas comerciais de IA e a não publicar textos matemáticos gerados por IA. A própria associação declara ter 809 membros, dos quais 532 integram um subgrupo que não usa IA na pesquisa.
O que Terence Tao afirmou sobre o caso?
Segundo reportagem do The Decoder, Tao, descrito como presidente da AHM, compartilhou a declaração da associação em seu blog e afirmou no Mastodon que soluções estão sendo "colhidas" em larga escala, o que pode deixar ramos inteiros da matemática menos férteis e "contaminar" a busca por outras abordagens.