Edição em Markdown

AI-translated from English; not yet reviewed by a fluent editor.

# Associação de Matemática Humana questiona lançamento matemático da OpenAI

> A Associação de Matemática Humana se opõe à pesquisa matemática proprietária da OpenAI e à divulgação em massa. Retiradas e correções de provas mostram um registro em mudança, não um veredito sobre toda a coleção.

By BIG CHANGE Editorial

Published: 2026-10-09T18:23:58.826Z
Updated: 2026-10-09T18:23:58.826Z
Canonical: https://bigchange.ai/blog/association-human-mathematics-openai-math-release

![A wheeled library cart holds many plain manuscript booklets beside one separate blank response sheet in a freestanding holder.](https://bigchange.ai/api/media/file/ahm-math-release-response-hero-v1.png)
Conceptual illustration of AHM's response to OpenAI's large mathematics-manuscript release. It does not show AHM's actual statement, a repository screen, a proof, or a verdict on the manuscripts. AI-generated illustration by BIG CHANGE.

A Associação de Matemática Humana (AHM) pediu aos matemáticos que deixem de trabalhar com a OpenAI depois que a empresa lançou uma grande coleção de matemática gerada por IA em 6 de outubro. Em sua [declaração de 7 de outubro](https://www.ahmath.org/statements), a principal objeção do grupo é o uso de um modelo privado para abordar problemas abertos avançados e a divulgação simultânea de centenas de artigos resultantes. A associação contesta a afirmação da OpenAI de que esse modelo de publicação promove a matemática, embora os arquivos públicos permitam examinar alegações individuais.

Essa é a posição do Grupo de Trabalho de Comunicação da AHM. Não é uma votação da comunidade matemática nem uma conclusão de que todo manuscrito esteja errado. Terence Tao [republicou o texto como uma declaração convidada da AHM](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/), identificando sua autoria em vez de adotá-lo como declaração própria.

## A grande mudança

- **O que mudou:** A discussão sobre o repositório da OpenAI agora vai além da validade de resultados individuais. A AHM questiona o papel da empresa na escolha dos problemas de pesquisa e na definição das condições em que matemáticos recebem os resultados.
- **Por que isso importa:** A disputa envolve quem pode examinar a ferramenta geradora e quem assume o trabalho de verificar e explicar uma divulgação em massa. Essas questões persistem mesmo quando uma prova específica é corrigida ou formalizada.
- **O que acompanhar:** A OpenAI afirma que acrescentará formalizações. Uma avaliação independente das alegações revisadas e eventuais correções versionadas ajudarão a esclarecer quais resultados específicos os matemáticos podem verificar e compreender.

## O que a AHM contesta

A AHM afirma que os matemáticos não solicitaram esse trabalho. Ela chama a divulgação de mais de 700 arquivos de demonstração de poder, e não de produção acadêmica, e pede que os leitores questionem seu valor para a área. A declaração também cita o Grupo Consultivo independente sobre Matemática e Inteligência Artificial (AGMAI), dizendo que a OpenAI ignorou o pedido inicial do grupo para interromper os testes de matemática avançada em modelos internos.

Essa referência tem uma base clara. [As diretrizes da AGMAI de 29 de setembro ](https://agmai.org/general-sep29/) recomendam que laboratórios de ponta parem de testar problemas avançados em modelos proprietários. O mesmo documento apresenta recomendações condicionais para divulgar resultados caso os laboratórios já os tenham produzido: texto matemático claro, repositórios apropriados, divulgação de como o trabalho foi gerado, formalização quando possível e apoio à compreensão humana. O documento diz que as recomendações se basearam em mais de 600 respostas a uma pesquisa e tiveram o apoio de uma pluralidade dos respondentes. Esses fatos não transformam o pedido posterior da AHM para interromper o trabalho com a OpenAI em uma diretriz da AGMAI ou em uma decisão de toda a área.

Em sua [resposta de 6 de outubro ao lançamento](https://agmai.org/), a AGMAI declarou explicitamente que seu papel consultivo não endossava o processo da OpenAI nem avaliava o impacto dos resultados. Descreveu a publicação como o início da avaliação humana e afirmou que somente a comunidade matemática pode determinar até que ponto suas recomendações foram seguidas. A OpenAI já havia [descrito o grupo como independente](https://openai.com/index/advisory-group-on-mathematics-and-ai/) e dito que ele aconselharia sobre revisão e comunicação, sem controlar o ritmo da pesquisa interna da empresa. A diferença entre aconselhamento e autoridade importa: a crítica da AHM questiona as escolhas da OpenAI, mas não prova que um conselho externo as tenha aprovado ou vetado.

## Um registro em mudança ainda precisa ser verificado

O [repositório](https://github.com/openai/math) da OpenAI diz que os trabalhos da coleção estão em diferentes etapas de verificação. O catálogo atual lista **719 manuscritos em 372 famílias**. Uma família pode incluir vários artigos. O repositório afirma que alguns manuscritos não têm formalizações em Lean e que certos resultados não formalizados podem apresentar problemas; informa também que cerca de 42% dos resultados principais estão formalizados. Uma formalização é um argumento especificado e verificável por máquina para uma afirmação específica, não uma confirmação abrangente de todas as alegações em um artigo relacionado; o status de um repositório não substitui a revisão matemática independente. Nosso anterior [guia dos arquivos e das configurações das provas ](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs) explica como acompanhar esse escopo.

A contagem mudou após a retirada de três manuscritos. O [registro histórico de 7 de outubro ](https://github.com/openai/math/blob/main/history.md) da OpenAI atribui as retiradas a um erro de sinal em uma prova que também afetou dois artigos dependentes. O registro documenta revisões de outros 14 manuscritos, atualizações de referências em mais 13 e seis novas formalizações. Nossa [reportagem sobre os três avisos de retirada ](https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error) explica a conclusão mais restrita: os argumentos identificados já não estabelecem as alegações daqueles artigos; os avisos não refutam as afirmações matemáticas. Uma prova retirada, um manuscrito corrigido e um resultado formalizado são estados distintos.

As revisões ilustram o trabalho de análise que uma coleção grande e formalizada de modo desigual pode exigir. Essa é nossa análise do registro do repositório, não uma afirmação da declaração da AHM. A AHM se opõe à decisão de gerar e publicar a coleção por meio de um modelo proprietário. Enquanto isso, a OpenAI forneceu materiais versionados que pesquisadores podem examinar, corrigir e debater. [Nossa análise anterior sobre capacidade de revisão ](https://bigchange.ai/blog/ai-research-discovery-review-capacity) abordou o trabalho necessário para transformar um grande conjunto de resultados propostos em matemática compreendida. A disputa atual acrescenta uma pergunta mais incisiva: produzir esse volume de trabalho dessa maneira serve às pessoas que devem avaliá-lo?

## Fontes e leituras complementares

- [Declaração da Association for Human Mathematics sobre o lançamento da OpenAI em 6 de outubro](https://www.ahmath.org/statements), 7 de outubro de 2026. Fonte principal das objeções da AHM e de seu pedido para encerrar a colaboração. Expõe a posição do grupo de trabalho; não representa a visão de todos os matemáticos nem julga provas individuais.
- [Republicação da declaração convidada da AHM por Terence Tao](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/), 7 de outubro de 2026. Identifica o texto como uma declaração convidada da AHM e direciona à página original da associação.
- [Diretrizes da AGMAI para lançamentos responsáveis](https://agmai.org/general-sep29/), de 29 de setembro de 2026, e [sua resposta ao lançamento da OpenAI](https://agmai.org/), de 6 de outubro de 2026. As fontes mostram a objeção do grupo a testes proprietários, suas recomendações condicionais para lançamentos e os limites expressos do que seu papel consultivo significa.
- [Anúncio da OpenAI sobre o grupo consultivo](https://openai.com/index/advisory-group-on-mathematics-and-ai/), 21 de setembro de 2026. Registra como a OpenAI descreveu a independência e o mandato do grupo, além de sua falta de controle sobre o ritmo da pesquisa interna.
- [Repositório matemático da OpenAI](https://github.com/openai/math) e [histórico de versões](https://github.com/openai/math/blob/main/history.md), consultados em 9 de outubro de 2026. Registros primários da contagem atual de 719 manuscritos em 372 famílias, da formalização desigual e das retiradas e revisões de 7 de outubro. São registros da OpenAI sobre suas alegações e correções, não uma validação independente da matemática.

## Sources

- [Declaração da Association for Human Mathematics sobre o lançamento da OpenAI em 6 de outubro](https://www.ahmath.org/statements) — Declaração principal do Grupo de Trabalho de Comunicação da AHM, não uma votação de toda a área.
- [Republicação da declaração convidada da AHM por Terence Tao](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/) — Identifica o texto republicado como uma declaração convidada da AHM.
- [Diretrizes da AGMAI para lançamentos responsáveis](https://agmai.org/general-sep29/) — Objeção inicial a testes proprietários e recomendações condicionais para lançamentos.
- [Resposta da AGMAI ao lançamento da OpenAI](https://agmai.org/) — Descarta endosso ou avaliação de impacto e deixa a avaliação para a comunidade matemática.
- [Anúncio da OpenAI sobre o grupo consultivo](https://openai.com/index/advisory-group-on-mathematics-and-ai/) — Relato da OpenAI sobre a independência e o mandato do grupo, e sua falta de autoridade sobre o ritmo da pesquisa.
- [Repositório matemático da OpenAI](https://github.com/openai/math) — Contagem atual de 719 manuscritos, ressalvas de verificação e cerca de 42% de formalização, segundo a OpenAI.
- [Histórico do repositório matemático da OpenAI](https://github.com/openai/math/blob/main/history.md) — Três retiradas, revisões, atualizações de referências e formalizações acrescentadas.