Revolução em matemática: IA resolve problemas de Erdős
ChatGPT 5.2 e AlphaEvolve avançam em conjecturas com suporte de sistemas formais
Avanços de IA em matemática abrem nova era
No final de semana, o engenheiro de software Neel Somani realizou um experimento surpreendente: usando o modelo ChatGPT 5.2, obteve uma solução completa para um problema matemático complexo em 15 minutos. A prova, validada com a ferramenta Harmonic, demonstrou capacidades de raciocínio avançado. Somani destacou que “o limite de LLMs em resolver problemas abertos está avançando”, especialmente com a atualização do modelo.
Erdős problems: 15 soluções com IA
Desde a publicação de GPT 5.2, 15 problemas da lista de Erdős foram resolvidos, sendo 11 com participação direta de IA. Entre as soluções, o modelo aplicou teoremas como o de Legendre e Bertand, e adaptou abordagens de matemáticos renomados como Noam Elkies. O matemático Terence Tao, em seu GitHub, registrou progressos em oito casos, com IA atuando em problemas “de cauda longa”.
Formalização automatizada impulsiona validação
O avanço está ligado à formalização, processo de tornar provas matemáticas computacionalmente verificáveis. Ferramentas como Lean (desenvolvido pela Microsoft) e o assistente de prova Harmonic’s Aristotle estão reduzindo a necessidade de revisão manual. Tudor Achim, criador do Harmonic, destaca que o uso de IA por pesquisadores “é evidência concreta de aceitação”.
Com 15% dos problemas de Erdős já resolvidos por IA, a matemática entra em uma nova fronteira, onde algoritmos não apenas apoiam, mas também inovam em áreas tradicionais.
