PesquisaPesquisaPesquisadores criam agente que prova níveis impossíveis no ARC-AGI-3Pesquisadores de Tsinghua e Zhejiang desenvolveram o AWM, agente que usa o Lean 4 para demonstrar quando níveis do ARC-AGI-3 não podem ser vencidos.3 de novembro de 2026