O modelo de inteligência artificial matemática do Google DeepMind alcançou um avanço inovador na Olimpíada Internacional de Matemática (IMO) deste ano. De acordo com informações oficiais, os modelos de raciocínio matemático formal AlphaProof e a versão aprimorada do modelo de resolução geométrica AlphaGeometry2 resolveram quatro dos seis problemas difíceis da IMO deste ano, atingindo pela primeira vez um nível comparável ao de medalhistas de prata humanos.