AI-translated from English; not yet reviewed by a fluent editor. # A Association for Human Mathematics contesta a publicação matemática da OpenAI > A Association for Human Mathematics opõe-se à investigação matemática proprietária da OpenAI e à sua divulgação em massa. As retiradas e as correções de demonstrações mostram um registo em mudança, não um veredicto 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 Association for Human Mathematics (AHM) apelou aos matemáticos para deixarem de trabalhar com a OpenAI, depois de a empresa ter divulgado uma grande coleção de matemática gerada por IA a 6 de outubro. Na sua [declaração de 7 de outubro](https://www.ahmath.org/statements), a principal objecção do grupo é a utilização de um modelo privado para abordar problemas abertos avançados e a divulgação simultânea de centenas de artigos daí resultantes. Contesta a afirmação da OpenAI de que este modelo de publicação faz avançar a matemática, embora os ficheiros públicos permitam analisar 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 todos os manuscritos estão errados. Terence Tao [republicou o texto como declaração convidada da AHM](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/), identificando a autoria em vez de o adoptar como declaração própria. ## A grande mudança - **O que mudou:** A discussão sobre o repositório da OpenAI já ultrapassa a validade de resultados individuais. A AHM contesta o papel da empresa na escolha de problemas de investigação e na definição das condições em que os matemáticos recebem os resultados. - **Porque é importante:** A disputa diz respeito a quem pode examinar a ferramenta geradora e a quem cabe o trabalho de verificar e explicar uma divulgação em massa. Estas questões persistem mesmo quando uma demonstração específica é corrigida ou formalizada. - **O que acompanhar:** A OpenAI diz que irá acrescentar formalizações. Uma avaliação independente das alegações revistas e eventuais correcções futuras com versões identificadas clarificarão quais os resultados concretos que os matemáticos podem verificar e compreender. ## O que a AHM contesta A AHM afirma que os matemáticos não solicitaram este trabalho. Chama à divulgação de mais de 700 ficheiros uma demonstração de poder, e não trabalho académico, e pede aos leitores que questionem o seu valor para a área. A declaração também cita o grupo consultivo independente sobre Matemática e Inteligência Artificial (AGMAI), afirmando que a OpenAI ignorou o pedido inicial do grupo para parar de testar matemática avançada em modelos internos. Esta referência tem uma base clara. [As orientações da AGMAI de 29 de setembro](https://agmai.org/general-sep29/) recomendam que os laboratórios de ponta deixem de testar problemas avançados em modelos proprietários. O mesmo documento apresenta recomendações condicionais para a divulgação de resultados caso os laboratórios já os tenham produzido: escrita matemática clara, repositórios adequados, divulgação da forma como o trabalho foi gerado, formalização quando possível e apoio à compreensão humana. Afirma que as recomendações se basearam em mais de 600 respostas a um inquérito e tiveram o apoio da maior parcela dos respondentes. Estes factos não transformam o apelo posterior da AHM para deixar de trabalhar com a OpenAI numa directiva da AGMAI nem numa decisão de toda a área. Na sua [resposta de 6 de outubro à divulgação](https://agmai.org/), a AGMAI afirmou expressamente que o seu papel consultivo não significava apoiar o processo da OpenAI nem avaliar o impacto dos resultados. Descreveu a publicação como o início da avaliação humana e disse que só a comunidade matemática pode determinar até que ponto as suas recomendações foram seguidas. A OpenAI já tinha [descrito o grupo como independente](https://openai.com/index/advisory-group-on-mathematics-and-ai/) e afirmado que este aconselharia sobre revisão e comunicação, sem controlar o ritmo da investigação interna da empresa. A diferença entre aconselhamento e autoridade é importante: a crítica da AHM contesta as escolhas da OpenAI, mas não prova que um conselho externo as tenha aprovado ou vetado. ## Um registo em mudança continua a exigir verificação O [repositório](https://github.com/openai/math) da OpenAI afirma que os trabalhos da coleção estão em diferentes fases de verificação. O catálogo actual lista **719 manuscritos em 372 famílias**. Uma família pode incluir vários artigos. O repositório diz que alguns manuscritos não têm formalizações em Lean e que alguns resultados não formalizados podem ter problemas; indica 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 concreta, não uma confirmação geral de todas as alegações de um artigo relacionado; o estado num repositório também não substitui a revisão matemática independente. O nosso anterior [guia dos ficheiros e das configurações das demonstrações](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs) explica como acompanhar esse âmbito. A contagem mudou após a retirada de três manuscritos. O [registo histórico da OpenAI de 7 de outubro](https://github.com/openai/math/blob/main/history.md) atribui as retiradas a um erro de sinal numa demonstração que também afectou dois artigos dependentes. O registo documenta alterações a outros 14 manuscritos, actualizações de referências em mais 13 e seis formalizações adicionais. A 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 limitada: os argumentos identificados já não demonstram as alegações desses artigos; os avisos não refutam as afirmações matemáticas. Uma demonstração retirada, um manuscrito corrigido e um resultado formalizado são estados diferentes. As alterações ilustram o trabalho de revisão que uma coleção grande e formalizada de modo desigual pode exigir. Esta é a nossa análise do registo do repositório, não uma afirmação da declaração da AHM. A AHM opõe-se à decisão de gerar e divulgar a coleção através de um modelo proprietário. Entretanto, a OpenAI forneceu materiais com versões que os investigadores podem examinar, corrigir e debater. [A nossa análise anterior da 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 actual acrescenta uma pergunta mais incisiva: produzir este volume de trabalho desta forma serve as pessoas que o devem avaliar? ## Fontes e leituras adicionais - [Declaração da Association for Human Mathematics sobre a divulgação da OpenAI em 6 de outubro](https://www.ahmath.org/statements), 7 de outubro de 2026. Fonte principal das objecções da AHM e do seu apelo para terminar a colaboração. Apresenta a posição do grupo de trabalho; não estabelece as opiniões de todos os matemáticos nem julga demonstrações 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 republicado como uma declaração convidada da AHM e remete para a página original da associação. - [Orientações da AGMAI para publicações responsáveis](https://agmai.org/general-sep29/), de 29 de setembro de 2026, e [a sua resposta à publicação da OpenAI](https://agmai.org/), de 6 de outubro de 2026. Estas fontes mostram a objecção do grupo aos testes proprietários, as suas recomendações condicionais para publicações e os limites expressos do significado do seu papel consultivo. - [Anúncio da OpenAI sobre o grupo consultivo](https://openai.com/index/advisory-group-on-mathematics-and-ai/), 21 de setembro de 2026. Regista a descrição da OpenAI sobre a independência e o mandato do grupo, bem como a sua falta de controlo sobre o ritmo da investigação 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 a 9 de outubro de 2026. Registos primários da contagem actual de 719 manuscritos em 372 famílias, da formalização desigual e das retiradas e revisões de 7 de outubro. São registos da OpenAI sobre as suas próprias alegações e correcções, não uma validação independente da matemática. ## Sources - [Declaração da Association for Human Mathematics sobre a divulgação 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 declaração convidada da AHM. - [Orientações da AGMAI para publicações responsáveis](https://agmai.org/general-sep29/) — Objecção inicial aos testes proprietários e recomendações condicionais para publicações. - [Resposta da AGMAI à publicação da OpenAI](https://agmai.org/) — Exclui qualquer endosso ou avaliação de impacto e deixa a avaliação à 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 a sua falta de autoridade sobre o ritmo da investigação. - [Repositório matemático da OpenAI](https://github.com/openai/math) — Contagem actual 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, actualizações de referências e formalizações adicionais.