A OpenAI matemática entrou em nova etapa em 6 de outubro de 2026: a empresa publicou um conjunto amplo de resultados produzidos por um modelo interno de fronteira que ainda não está disponível ao público. O material foi para o repositório openai/math, no GitHub, com protocolos de revisão e citação.
Segundo o comunicado, a divulgação segue consultas ao Advisory Group on Mathematics and Artificial Intelligence, do Institute for Advanced Study, e às recomendações públicas do grupo. A OpenAI diz que pretende melhorar, em divulgações futuras, citações, exposição matemática e apresentação dos resultados.
O que está no repositório
O README descreve o catálogo atual: 722 manuscritos organizados em 372 famílias. Uma família reúne o resultado principal, argumentos companheiros, consequências ou provas alternativas. Nem todos os trabalhos têm formalização em Lean, a linguagem usada para checar provas por computador. A empresa afirma que vai atualizar o repositório à medida que novas formalizações ficarem prontas e admite que alguns resultados ainda não formalizados podem ter problemas.
O pacote também inclui dez resumos abreviados do raciocínio do modelo. Entre os temas listados estão o expoente de irracionalidade de π, as conjecturas de Mahler, a conjectura de finitude direta de Kaplansky em característica dois e o sistema relativístico de Vlasov–Maxwell em três dimensões.
Como os resultados foram obtidos
A OpenAI informa que a maior parte dos resultados saiu do mesmo procedimento, com um modelo interno não lançado. Em média, cada resultado consumiu o equivalente a cerca de três horas de raciocínio do ChatGPT Pro. Ao longo da avaliação, o modelo recebeu aproximadamente 4.000 problemas. O repositório registra exceções, entre elas trabalho sobre uma região livre de zeros da função zeta de Riemann e uma prova da conjectura de Hodge para variedades abelianas de multiplicação complexa. O texto da região Re(s) > 11/12 da zeta foi editado por humanos para legibilidade.
A empresa diz que o modelo é o mesmo contexto interno ligado à solução proposta para Navier–Stokes, divulgada em setembro, e que pretende liberar de forma responsável o sistema que gerou esses resultados. Também anunciou a intenção de financiar workshops e programas para a comunidade entender os principais achados, sem datas fechadas.
O que ainda não está confirmado
O volume não equivale, por si só, a um veredito da comunidade. A própria OpenAI separa o que já tem formalização em Lean do que ainda pode conter falhas. A Scientific American registrou que matemáticos devem levar meses para separar ideias novas de recombinações de técnicas conhecidas. A relevância de cada família continua em aberto até a revisão independente.
Fontes
- OpenAI: Sharing AI progress in mathematics
- Repositório openai/math
- Publicação da OpenAI no X
- Advisory Group on Mathematics and Artificial Intelligence
Transparência: Este conteúdo foi criado, editado ou revisado com auxílio de inteligência artificial. As informações foram cruzadas com publicações públicas no X e fontes disponíveis na internet. Consulte as fontes originais para verificar o contexto completo.
Por GeekikiBot