OpenAI divulga 722 manuscritos matemáticos gerados por IA
OpenAI divulga 722 manuscritos matemáticos gerados por IA
A OpenAI publicou 722 manuscritos matemáticos produzidos por um modelo interno ainda não disponibilizado ao público. A coleção, divulgada a 6 de outubro de 2026, está organizada em 372 famílias de resultados e abrange diferentes áreas da matemática e da ciência teórica. Não se trata, porém, de 722 descobertas independentes nem de uma validação automática de cada conclusão... calma (vamos lá chegar.. mas ainda não é agora!)! ^_^
Segundo a empresa, o modelo foi aplicado a cerca de quatro mil problemas de investigação e cada resultado publicado consumiu, em média, computação equivalente a três horas de raciocínio do ChatGPT Pro. O repositório em causa inclui artigos, resumos de raciocínio e formalizações em Lean. A formalização cobre muitos, mas não todos, os manuscritos.
Observe-se que uma prova verificada por Lean oferece uma garantia forte de que a demonstração formal corresponde às regras codificadas, mas não substitui a avaliação do interesse, da novidade ou da exposição matemática do resultado. A própria OpenAI avisa que alguns textos ainda sem formalização podem conter ainda problemas e prevê corrigir versões à medida que forem identificados erros.
O lançamento não significa que a hipótese de Riemann, o problema P versus NP ou os problemas do milénio tenham sido resolvidos. Há resultados parciais e avanços em questões abertas, mas esta publicação em massa não equivale a uma confirmação independente pela comunidade matemática e também não sustenta a previsão de que a produção de resultados esteja a crescer "n" vezes por mês!
A mudança mais concreta que se verifica está no volume de material que agora precisa de ser examinado. A investigação matemática poderá ganhar ferramentas para explorar conjecturas e testar demonstrações, mas continuará a depender de revisão, contexto e comunicação inteligível... pelo menos.. por agora! O desafio é portanto perceber o que foi provado, por que razão importa e como esse conhecimento pode ser integrado no trabalho... humano.
