O GPT-5 acaba de passar no que os pesquisadores chamam de "Teste de Gödel." Isso significa que não está apenas resolvendo problemas de livros didáticos, mas está enfrentando conjecturas matemáticas abertas que normalmente levariam dias para um estudante de doutorado habilidoso resolver. Em um novo artigo, o GPT-5 foi testado em 5 conjecturas de otimização não resolvidas. Ele resolveu 3 de 5. Em um problema, ele até produziu uma prova válida diferente da que os pesquisadores esperavam. Entramos oficialmente na era em que a IA de ponta não está apenas aprendendo matemática, mas está fazendo matemática. As implicações são enormes: • Progresso em problemas que deixam os humanos perplexos por dias ou semanas • IA contribuindo para descobertas matemáticas genuínas • Uma prévia de como a pesquisa em si se transformará na década de 2030 As pessoas ainda estão subestimando isso. O impacto de modelos que podem provar teoremas mal começou a ser percebido. Esta é a linha entre "autocomplete sofisticado" e raciocínio científico real.