这篇更新涵盖了理论计算机科学领域的几项重要动态，包括 STOC 2026 的杰出论文，以及对量子复杂性理论领军人物 Henry Yuen 的专访。同时，文章也悼念了已故的计算机科学家 Joe Halpern，介绍了德州大学奥斯汀分校成立计算学院的消息，并探讨了 OpenAI 就其 AI 生成内容“水印”技术引发的政策争议。最后，作者分享了自己近期参与的一系列播客和媒体采访。
学术界动态
STOC 2026 会议: 新的录用论文列表已经公布，其中关于 BusyBeaver(5) 的研究成果尤其引人注目，这反映了计算理论领域的广阔视野。
Henry Yuen 专访: 《Quanta》杂志刊登了一篇关于 Henry Yuen 的深度报道。他现在是量子复杂性理论的世界级领袖之一，参与了 MIP*=RE 等重大突破。
Henry 在采访中提到，他最初是通过作者的博客“Shtetl-Optimized”接触并学习该领域的。
悼念 Joe Halpern: 理论计算机科学先驱 Joe Halpern 不幸逝世。他是研究“知识推理”（如“泥孩问题”）分支的开创者。
德州大学奥斯汀分校成立计算学院: 该学院将整合计算机科学系、统计学、数据科学等多个部门，旨在提升计算学科在学校的地位。此举也意味着将招聘更多新教员。
AI 技术与政策讨论
关于学生依赖 AI 写论文的问题，OpenAI 的研究人员曾提出过一个技术解决方案。
- 技术方案: 提出了一种名为 “水印” (watermarking) 的技术来识别 AI 生成的文本。
- 部署情况: OpenAI 拒绝部署 这一解决方案。
- 后续影响: 这一决定引发了关于是否应通过 立法强制要求 为大语言模型输出添加水印的讨论。
近期播客与采访
作者近期参与了多档播客节目和媒体采访，探讨了量子计算、AI 和比特币等话题。
播客节目:
- 《The Peggy Smedley Show》: 量子：科学 vs. 神话
- 《Alexander Chin’s Philosophy Podcast》: AI 对齐、复杂性理论与物理的可计算性
- 《The Robinson Erhardt Podcast》: 什么是量子计算？
媒体文章:
- 一篇引用作者观点的文章，题为“比特币需要量子升级。为何迟迟没有发生？”
- 一篇在《Investor’s Business Daily》上对作者的采访，题为“量子计算是下一次重大技术变革吗？”