标签
FormalTCS是一个用于评估大型语言模型在端到端理论计算机科学研究上的基准，揭示了显著局限性，尤其是在自动形式化方面。
This paper establishes theoretical bounds on the number of attention heads needed to produce vector representations that support multiple tasks, such as computing min/max and XOR, showing trade-offs between head count, embedding dimension, and precision.
本文提出了一种基于冗余调整人工年龄评分（AAS）的AI系统长期持续性框架，表明无限循环运行不必然导致无界的结构老化。
OpenAI 发布了十项由 AI 在数学和理论计算机科学领域取得的进展的手稿、正式的 Lean 证书和推理演练，其中包括球体堆积、非 sofic 群和量子并行重复方面的结果。
OpenAI使用内部模型Astra解决了十个停滞了十多年的数学问题，每个问题花费不到2000美元，并发布了Lean 4形式化证明及一篇论文。这些结果引发了对AI在数学中作用的反思。
Noam Brown 声称 OpenAI 的内部 Astra 模型解决了数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题，这可能标志着科学推理的一大步。
两个研究小组独立使用OpenAI的GPT-5.6 Sol Ultra为同一个不可克隆加密问题生成证明，几乎同时提交了arXiv预印本。这种近乎巧合的碰撞凸显了AI在理论计算机科学中日益重要的作用，并引发了关于独立发现与署名归属的疑问。
本文探讨了Gold-Angluin极限语言识别模型中的开放问题，展示了仅使用小字母表且直接从语言定义的计算轨迹即可实现极限识别，无需底层机器模型。
讨论了一篇2014年的论文，该论文驳斥了3SUM猜想，提出了3SUM问题的亚二次算法，对计算几何和图算法有影响。
免费开放教科书《Introduction to Theoretical Computer Science》已在哈佛课程中使用，涵盖基础理论，包括计算、算法、复杂性和量子计算。
哥德尔奖得主Ryan Williams对P vs NP提出了逆向观点，认为我们对多项式时间计算的理解仍然肤浅且充满惊喜，他将P≠NP的信心定在80%。
麻省理工学院教授、哥德尔奖得主瑞安·威廉姆斯在一期播客中深入讨论了算法优化、细粒度复杂性理论以及强指数时间假说等前沿计算机科学话题。
一篇文章讨论混淆作为一种强大的密码学原语，因其理论和实践上的挑战，可能成为密码学的‘终极Boss’。
麻省理工学院硬度小组的研究证明，超级马里奥关卡可能无法判定，意味着没有任何计算机程序总能确定马里奥能否到达城堡，将超级马里奥置于最难复杂度类别中。
Chatterjee、Ghosh、Gurjar、Raj 和 Thierauf 的一篇论文声称证明了二分图匹配问题属于复杂度类 NC，从而解决了 1980 年代以来并行算法与去随机化领域的一个核心开放问题。
本文提出了一种间接计算模型和间接形式化方法，用于优化云计算，并以中文信息数据为例，实现从数据中心向知识中心的转变。