姚期智杨植麟发布TCSExam论文评估大模型理论计算机科学研究能力
热点事件持续更新
姚期智杨植麟发布TCSExam论文评估大模型理论计算机科学研究能力
1 篇报道1 个报道来源6 小时前更新
先了解这件事
AI 综述
姚期智与杨植麟联合发布论文《TCSExam：对前沿大语言模型开展全领域理论计算机科学研究评估》，设计了100道可机器验证的题目，评估了包括GPT-6 Astra、Kimi K3、DeepSeek V4.1 Flash在内的8个前沿大语言模型。 该基准测试涵盖定理证明、求解器工程、显式构造和开放猜想四类问题，旨在评估模型在理论计算机科学领域的研究能力。
AI 根据报道生成 · 4 小时前更新
最新进展11月11日 14:35
姚期智杨植麟联合发布TCSExam论文，评估大模型在理论计算机科学中的研究能力报道时间线
沿着报道，了解事件的不同侧面。
11月11日
- 钛媒体精选姚期智杨植麟联合发布TCSExam论文，评估大模型在理论计算机科学中的研究能力
姚期智与杨植麟联合发布论文《TCSExam：对前沿大语言模型开展全领域理论计算机科学研究评估》，设计了100道可机器验证的题目，涵盖定理证明、求解器工程、显式构造和开放猜想四类，评估包括GPT-6 Astra、Kimi K3、DeepSeek V4.1 Flash等8个模型。
本事件热度走势
- 可比范围当前
- 8
- 可比范围峰值
- 911月11日 18:00
- 近 24 小时变化
- –
02.557.510
18:0019:0020:0021:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。