O Google DeepMind acaba de anunciar notícias interessantes: seus modelos de inteligência artificial AlphaProof e AlphaGeometry 2 fizeram progressos significativos no campo do raciocínio matemático. Ambos os modelos tiveram um desempenho extremamente bom na resolução de problemas difíceis na competição da Olimpíada Internacional de Matemática (IMO), alcançando o padrão "Nível Prata".

AlphaProof e AlphaGeometry 2 resolveram com sucesso quatro das seis questões da IMO. Esta conquista marca um importante passo em frente para a inteligência artificial no tratamento de problemas matemáticos complexos.

AlphaProof é um novo sistema de raciocínio matemático baseado em aprendizagem por reforço, enquanto AlphaGeometry 2 é uma versão atualizada da resolução de problemas geométricos. Estes desenvolvimentos não só demonstram as capacidades da IA ​​no raciocínio complexo, mas também indicam que a IA poderá desempenhar um papel mais importante na matemática e na investigação científica no futuro. #美国以太坊现货ETF开始交易 #比特币大会 #美国大选如何影响加密产业？ #AI模型 $BTC $ETH $SOL