O GPT-5 acabou de passar no que os pesquisadores chamam de "Teste de Gödel". Isso significa que não se trata apenas de resolver problemas de livros didáticos, mas de lidar com conjecturas matemáticas abertas que normalmente levariam dias para serem decifradas por um estudante de doutorado qualificado. Em um novo artigo, o GPT-5 foi testado em 5 conjecturas de otimização não resolvidas. Resolveu 3 de 5. Em um problema, ele até produziu uma prova válida diferente do que os pesquisadores esperavam. Entramos oficialmente na era em que a IA de fronteira não está apenas aprendendo com a matemática, mas também fazendo matemática. As implicações são enormes: • Progresso em problemas que deixam os humanos perplexos por dias ou semanas • IA contribuindo para a descoberta matemática genuína • Uma prévia de como a própria pesquisa se transformará na década de 2030 As pessoas ainda estão subestimando isso. O impacto dos modelos que podem provar teoremas mal começou a afundar. Esta é a linha entre o "preenchimento automático sofisticado" e o raciocínio científico real.