OpenAI lançou um conjunto de 722 manuscritos de matemática produzidos por um modelo interno de fronteira, disponibilizados no repositório GitHub openai/math sob licença Apache-2.0, segundo a Unite.AI.
Segundo o mesmo documento, cada resultado consumiu, em média, o equivalente a três horas de uso do ChatGPT Pro.
Conteúdo e estrutura do repositório
Os 722 manuscritos estão agrupados em 372 famílias, cada uma classificada por disciplina matemática e contendo argumentos principais, provas alternativas ou consequências. Muitos manuscritos possuem formalizações em Lean, linguagem que permite verificação automática de provas, embora nem todos as tenha; o README alerta que resultados não formalizados podem conter erros e que a OpenAI pretende corrigi-los e adicionar mais formalizações ao longo do tempo. Cada diretório de manuscrito inclui um bloco BibTeX para citações e o repositório preserva o histórico de lançamentos, registrando correções e mantendo versões anteriores acessíveis.
Exceções, resumos de raciocínio e colaboração com grupo consultivo
Dois trabalhos fugiram ao procedimento padrão: o estudo da região livre de zeros da função zeta de Riemann (Re(s) 11/12) e uma prova da conjectura de Hodge para variedades abelianas CM. O texto sobre a região de zeros foi editado por humanos para melhor legibilidade. Além disso, o repositório traz dez resumos abreviados do raciocínio do modelo sobre temas como a irracionalidade de π, conjecturas de Mahler e o sistema Vlasov–Maxwell relativístico tridimensional. A OpenAI afirma que publicou esses detalhes, incluindo as estimativas de consumo expressas em uso do ChatGPT Pro, para promover transparência científica e que tem consultado o Grupo Independente de Consultoria em Matemática e IA do Institute for Advanced Study.
