Resumo · últimas 24h

1. Pesquisadores chineses alcançam avanço: agente de IA de código aberto 'Hyra' resolve problema matemático que desafiou AlphaEvolve, GPT e Claude
   Um novo pré-print no arXiv resolve um problema de longa data em combinatória aditiva, com a construção-chave proposta por Hyra, um agente de IA de código aberto da Tencent baseado no modelo Hy3. Apesar das tentativas de AlphaEvolve do Google DeepMind, GPT e Claude, nenhum teve sucesso, e a solução de Hyra foi formalmente verificada no assistente de provas Lean. A conquista marca um marco como o primeiro grande resultado matemático de IA por um modelo de código aberto, e o matemático Thomas Bloom endossou o resultado, chegando a listar 'Hyra' como coautor.