O Google DeepMind dá um passo mais perto de quebrar a matemática de alto nível

Os pesquisadores do Google DeepMind desenvolveram dois novos sistemas de IA, AlphaProof e AlphaGeometry 2, que fizeram progressos significativos em lidar com problemas matemáticos complexos. Esses sistemas trabalharam juntos para resolver questões do International Mathematical Olympiad, uma competição global para estudantes talentosos. Embora não tenham conquistado uma medalha de ouro, o desempenho deles foi próximo ao dos melhores matemáticos humanos. Os sistemas de IA demonstraram suas habilidades ao resolver problemas em álgebra, geometria e teoria dos números. Em um problema, eles tiveram que provar uma relação geométrica envolvendo ângulos e pontos médios. Outro desafio envolveu navegar por um tabuleiro de jogo com monstros escondidos, requerendo movimento estratégico e memória. No geral, o avanço dos sistemas de IA os aproxima mais de superar os matemáticos humanos em domínios matemáticos complexos.