Recherche
Moonshot AI et Tsinghua publient TCSExam, un banc d'essai vérifié en Lean qui confronte les agents d'IA à 100 problèmes de recherche en informatique théorique
Des chercheurs de l'université Tsinghua, de Moonshot AI et de l'institut Shanghai Qizhi ont mis TCSExam en ligne sur GitHub le 3 novembre 2026, avant un article sur arXiv deux jours plus tard. GPT-6 Astra domine la versi…