Papers

AI papers from arXiv and journals, each with a summary and why it matters · 3515 papers
Nov 6
PapersBuildersMulti-source12:01
Chinese contentTCSExam 基准测试:评估前沿 LLM 在理论计算机科学研究中的能力

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

Event
arXiv cs.AI@Yifan Luo et al. (5)11 sourcesSource