IA resolve mais de 300 problemas matemáticos complexos

O uso de modelos de linguagem e sistemas de IA para a resolução de problemas matemáticos avançados atingiu um novo patamar de produtividade. Segundo dados da plataforma VibeMathed, que monitora a aplicação de modelos como GPT, Claude e outros em desafios teóricos, a capacidade dessas ferramentas de encontrar contraexemplos ou validar conjecturas tem transformado a pesquisa matemática. O projeto destaca que a maioria das resoluções, cerca de 99%, provém de modelos de código fechado, evidenciando o domínio das grandes empresas de tecnologia no setor.

O crescimento no número de problemas resolvidos tem sido exponencial desde o início de 2026, impulsionado pela integração de sistemas de verificação formal, como o Lean. Esse método garante que as soluções propostas pela IA sejam matematicamente rigorosas e verificáveis. Entre os marcos alcançados, destaca-se a resolução de problemas que permaneciam em aberto há décadas, como a conjectura do Jacobian, que aguardou 87 anos por uma solução, demonstrando o potencial da IA como um colaborador de alto nível para pesquisadores acadêmicos.