O modelo de inteligência artificial matemática da Google DeepMind alcançou um avanço significativo na Olimpíada Internacional de Matemática (IMO) deste ano. Segundo informações oficiais, os modelos de raciocínio matemático formal AlphaProof e a versão aprimorada do solucionador de geometria AlphaGeometry2 resolveram quatro dos seis problemas difíceis da IMO deste ano, atingindo pela primeira vez um nível comparável ao dos medalhistas de prata humanos.
Nesta competição entre humanos e máquinas, o AlphaProof demonstrou capacidades excepcionais, resolvendo com sucesso dois problemas algébricos e um problema de teoria dos números, e fornecendo provas rigorosas para suas soluções. Vale ressaltar que o AlphaProof também resolveu o problema considerado o mais desafiador da competição, um problema que apenas cinco participantes humanos conseguiram resolver na competição real. Simultaneamente, o AlphaGeometry2 também se destacou na demonstração de problemas geométricos.
O desempenho conjunto desses dois sistemas de IA foi notável, obtendo uma pontuação alta de 28 pontos, com pontuação máxima em cada problema resolvido – um resultado comparável à pontuação mais alta do grupo de medalhas de prata humanas. No entanto, dois problemas combinados ainda não foram resolvidos pelos sistemas de IA, o que demonstra que ainda há espaço para melhorias em algumas áreas da matemática.
Esta conquista demonstra o enorme potencial da inteligência artificial em termos de capacidade de raciocínio matemático avançado, abrindo novas possibilidades para a aplicação da IA na pesquisa e educação matemática. Apesar disso, os problemas não resolvidos nos lembram que, no complexo mundo da matemática, a perspicácia e o pensamento criativo dos especialistas humanos permanecem indispensáveis.