Aqui está a versão do artigo reescrita em português do Brasil, adaptada para uma leitura fluida e acessível:
Grande avanço: Modelos de linguagem agora conseguem criar provas matemáticas originais
Recentemente, a Vrije Universiteit Brussel (VUB), na Bélgica, anunciou um feito histórico no campo da inteligência artificial: modelos de linguagem comerciais já são capazes de gerar provas matemáticas originais de forma independente.
Nos experimentos, o ChatGPT-5.2 (Thinking), da OpenAI, conseguiu resolver uma conjectura matemática proposta pelos pesquisadores Ran e Teng em 2024 — um problema que até então permanecia sem solução.
“Vibe-proving”: o surgimento de uma nova forma de fazer matemática
Os pesquisadores batizaram essa abordagem inédita de “vibe-proving” (prova por atmosfera), inspirada pelo conceito recente de “programação por atmosfera”. Durante o processo, o modelo conduziu sozinho a exploração de caminhos de prova e construiu o núcleo da lógica necessária, mostrando que a IA pode realizar raciocínio criativo e original, muito além da simples combinação de dados.
O ciclo de prova envolveu 7 rodadas de diálogo e 4 versões de auto-iteratividade, resultando em uma demonstração matemática rigorosa. Os humanos ainda validaram o resultado final, mas a velocidade e eficiência do modelo superaram todas as expectativas da comunidade científica.
Mudança de paradigma: humanos passam de produtores a validadores
Segundo o professor Vincent Ginis, da VUB, o resultado quebra o mito de que IA só sabe induzir e não criar. Com a IA assumindo a tarefa de gerar provas, a matemática teórica poderá avançar em ritmo exponencial.
O novo desafio da comunidade científica não será mais descobrir caminhos de prova, mas sim garantir a correção lógica de forma eficiente. Com IAs produzindo um grande volume de provas candidatas, a validação humana se tornará o próximo foco estratégico.
Essa conquista indica que a forma de fazer ciência está passando por uma transformação profunda — e a matemática não será mais a mesma.
Se quiser, posso também criar uma versão mais curta e chamativa para redes sociais, mantendo o tom informativo e acessível para o público brasileiro. Quer que eu faça?