Pesquisa
Pesquisadores criam agente que prova níveis impossíveis no ARC-AGI-3
Pesquisadores 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.
Tag
Tsinghua University
4 artigos
Tairex apresenta avatares de IA para consultas multidisciplinares em clínicas ambulatoriais
Tairex, spin‑off da Tsinghua, lança o framework MHAC que integra avatares de IA de diferentes especialidades em consultas ambulatoriais, com ganhos de eficiência reportados.
Tsinghua lança SRHarness e MechBench para avançar agentes científicos de IA
SRHarness alcança 93,69% de recuperação simbólica; MechBench mede capacidade de IA de entender mecanismos subjacentes.
Sistema LATENT usa dados humanos para treinar robô humanoide no tênis
Pesquisa da Galbot e universidades chinesas recebe prêmio na IROS 2026 por ensinar devoluções de tênis a robôs com dados de movimento incompletos.