---
title: "OpenAI divulga 722 manuscritos em 372 famílias matemáticas"
url: https://dailyjournal.news/news/2026-10-06/openai-divulga-novos-resultados-matematicos-gerados-por-modelo-de-ia
published: 2026-10-06T22:40:36.878499+00:00
updated: 2026-10-07T00:15:21.055563+00:00
categories: ["technology"]
topics: ["openai"]
source_count: 4
outlet_count: 2
language: pt-BR
publisher: "Daily Journal"
---

# OpenAI divulga 722 manuscritos em 372 famílias matemáticas

O catálogo da OpenAI reúne 722 manuscritos em 372 famílias, com resultados em diferentes estágios de verificação e formalizações Lean ainda incompletas.

## Pontos principais

- O repositório reúne 722 manuscritos organizados em 372 famílias, que podem incluir resultados principais, argumentos complementares, consequências e provas alternativas.
- Segundo a OpenAI, a maioria dos resultados veio do mesmo procedimento com um modelo interno não lançado; cada resultado consumiu, em média, três horas de computação de raciocínio do ChatGPT Pro.
- A avaliação propôs aproximadamente 4 mil problemas ao modelo antes de organizar as saídas em famílias e manuscritos e selecionar resultados considerados suficientemente significativos.
- Os trabalhos estão em diferentes estágios de verificação, e nem todos têm formalização em Lean; o repositório alerta que resultados sem formalização podem conter problemas.
- A OpenAI aponta como exceções ao procedimento padrão trabalhos sobre uma região livre de zeros da função zeta de Riemann e a conjectura de Hodge para variedades abelianas CM; a redação do resultado para Re(s) > 11/12 foi editada por humanos.

No catálogo publicado pela OpenAI, 722 manuscritos estão organizados em 372 famílias, que podem reunir um resultado principal, argumentos complementares, consequências ou provas alternativas. A empresa informa que a maioria foi produzida pelo mesmo procedimento com um modelo interno ainda não lançado. Em média, cada resultado usou três horas de computação de raciocínio do ChatGPT Pro, após aproximadamente 4 mil problemas terem sido apresentados ao modelo.

A OpenAI informa que os materiais estão em diferentes estágios de verificação e que nem todos têm formalização em Lean. A empresa alerta que resultados sem essa formalização podem conter problemas e diz que continuará adicionando provas formais ao repositório. Algumas exceções ao procedimento padrão envolveram trabalhos sobre a função zeta de Riemann e a conjectura de Hodge para variedades abelianas CM.

## Fontes

- [OpenAI says its internal model produced 372 math results, nearly all from a single prompt handed to a single AI agent; some might have taken multiple attempts (Joseph Howlett/Scientific American)](https://www.techmeme.com/261006/p46#a261006p46) — Techmeme (2026-10-06)
- [Sharing AI progress in mathematics](https://openai.com/index/sharing-ai-progress-in-mathematics) — OpenAI (2026-10-06)
- [OpenAI releases a range of new mathematical results produced by an internal model, with details like estimations of compute spent in terms of ChatGPT Pro usage (OpenAI)](https://www.techmeme.com/261006/p42#a261006p42) — Techmeme (2026-10-06)
- [@OpenAI: We’re releasing a broad range of new mathematical results produced by an internal frontier model.](https://x.com/OpenAI/status/2107596713791767021) (2026-10-06)

## Tópicos relacionados

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

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-10-06/openai-divulga-novos-resultados-matematicos-gerados-por-modelo-de-ia