论文

arXiv 与期刊里的 AI 论文,每篇附中文摘要与推荐理由 · 7705 篇
11月8日
11月6日
论文Agent 与开发者多源确认12:01
TCSExam 基准测试:评估前沿 LLM 在理论计算机科学研究中的能力

理论计算机科学版的 LLM 考试来了:GPT-6 Astra 和 Opus 5.5 分别拿下两个版本第一,还真能推进一些开放猜想的特殊情形,做研究的人可以看看这套用 Lean 验证的评测框架。

事件专题
arXiv cs.AI@Yifan Luo 等 5 人11 个信源在谈原文