---
title: "OpenAI publica 719 manuscritos de matemática de modelo não lançado"
url: https://dailyjournal.news/news/2026-10-08/openai-divulga-centenas-de-provas-matematicas-geradas-por-nova-ia
published: 2026-10-08T09:45:31.65641+00:00
updated: 2026-10-08T18:45:28.546197+00:00
categories: ["technology"]
topics: ["openai"]
source_count: 3
outlet_count: 2
language: pt-BR
publisher: "Daily Journal"
---

# OpenAI publica 719 manuscritos de matemática de modelo não lançado

OpenAI divulga 719 provas matemáticas de modelo interno, enfrentando críticas de pesquisadores sobre transparência e padrões de verificação científica.

## Pontos principais

- Os 719 manuscritos estão organizados em 372 famílias, com 42% dos resultados principais formalizados em Lean.
- Cada resultado utilizou, em média, três horas de processamento do ChatGPT Pro em cerca de 4.000 problemas testados.
- O Advisory Group on Mathematics and Artificial Intelligence (AGMAI) recomendou que laboratórios suspendam testes de problemas avançados em modelos proprietários.
- Pesquisadores apontam discrepâncias entre a linguagem natural e o código Lean em problemas como as equações de Navier-Stokes.
- Apenas 10 dos manuscritos incluem o raciocínio detalhado do modelo, gerando críticas sobre a falta de transparência e compreensão humana.

A OpenAI publicou em 6 de outubro 719 manuscritos de matemática gerados por um modelo de inteligência artificial ainda não lançado. Os documentos, disponibilizados em um repositório no GitHub, abrangem 372 famílias de problemas e incluem formalizações em Lean para 42% dos resultados. Segundo a empresa, cada solução consumiu em média três horas de processamento do ChatGPT Pro, e a companhia reconhece que resultados não formalizados podem conter erros que pretende corrigir rapidamente.

A iniciativa enfrenta críticas de pesquisadores sobre a conformidade com padrões científicos. O Advisory Group on Mathematics and Artificial Intelligence (AGMAI) recomendou que laboratórios interrompam o uso de modelos proprietários para problemas matemáticos avançados, prática mantida pela OpenAI. Especialistas destacam que apenas 10 manuscritos apresentam o raciocínio do modelo e apontam discrepâncias entre a linguagem natural e o código Lean em temas complexos, como as equações de Navier-Stokes. A comunidade acadêmica argumenta que a ausência de envolvimento humano na verificação compromete a validade científica dos resultados apresentados.

## Fontes

- [OpenAI’s math solutions aren’t meeting the field’s standards yet](https://techcrunch.com/2026/10/08/openais-math-solutions-arent-meeting-the-fields-standards-yet/) — TechCrunch (2026-10-08)
- [How OpenAI Beat Math](https://www.theinformation.com/articles/openai-beat-math) (2026-10-08)
- [OpenAI's math breakthrough points beyond math](https://www.axios.com/2026/10/08/openai-math-proofs-ai-model) — Axios (2026-10-08)

## Tópicos relacionados

- [OpenAI](https://dailyjournal.news/topics/openai)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-10-08/openai-divulga-centenas-de-provas-matematicas-geradas-por-nova-ia