Investigação
Moonshot AI e Tsinghua lançam o TCSExam, banco de ensaio verificado em Lean que põe agentes de IA perante 100 problemas de investigação em ciência da computação teórica
Investigadores da Universidade Tsinghua, da Moonshot AI e do Instituto Shanghai Qizhi publicaram o TCSExam no GitHub a 3 de novembro de 2026, com um artigo no arXiv dois dias depois. O GPT-6 Astra lidera a versão complet…