姚期智杨植麟联合发布TCSExam论文，评估大模型在理论计算机科学中的研究能力

姚期智与杨植麟联合发布论文《TCSExam：对前沿大语言模型开展全领域理论计算机科学研究评估》，设计了100道可机器验证的题目，涵盖定理证明、求解器工程、显式构造和开放猜想四类，评估包括GPT-6 Astra、Kimi K3、DeepSeek V4.1 Flash等8个模型。