TIOBE 2025 年 06 月份的编程语言排行榜已经公布，官方的 标题是： SQL 的未来在哪里 ！ （ Where is SQL going? ） SQL，全称 Structured Query Language（结构化查询语言） ， 是用来和数 据库"对话"的语言。 近期 SQL 的热度开始下滑，本月，它跌至第 12 位，创下了历史最低。 在 TIOBE 榜单历史上，SQL 在 2003 年 10 月 是它的历史高光时刻排到了第六位 ， 不过，2004 年初，有人提出 "SQL 其实不能算是编程语 言" 。这引发了大量争论，最终 TIOBE 决定将 SQL 移出榜单，从上图中我们也看到 2004 到 2018 之间没有数据。 到 2018 年，又有开发者指出：虽然绕了一点，但 SQL 实际上是图灵完备的，而图灵完备通常就意味着它是编程语言。于是，SQL 被重新加入排 行榜，凭借数据库领域的强力支撑，再次回归前十。 只要连上互联网，我们时时刻刻的交互过程都与 SQL 有关系，比如银行记录交易、电商管理订单、医院保存病历、航班、票务、乘客信息、学生 信息管理、选课系统、成绩管理、教师安排等，背后都是一堆表 ...

作者介绍：本文第一作者是丰田工业大学芝加哥 PhD 学生杨晨晓，研究兴趣是机器学习理论和大模型推理，在 ICML，NeurIPS，ICLR 等顶级会议上发表过论 文。 本文提出一个 交替 「推理 - 擦除 」的深度思考新范式 PENCIL ，比传统 CoT 更高效地解决更复杂的推理任务。理论上，我们证明 PENCIL 可用 最优空间 与 最 优时间 下解决所有可计算问题，而这对于传统的 CoT 是不可能的！该工作已被机器学习顶会 ICML 2025 收录。 最近的大模型（如 OpenAI 的 o1/o3、DeepSeek 的 R1）发现能通过在测试阶段 深度思考（Test-Time Scaling） 来大幅提高模型的推理能力。目前实现深度思考的 关键在于使用 长链思维链（Long Chain-of-Thought，CoT） ，即让模型生成更长中间结果得到最终答案。然而，传统 「只写不擦 」的方法在处理高难度、大规 模任务时面临以下瓶颈： 不过实际上，并非所有中间思路都后续推理有用：例如定理证明里，引理一旦验证通过，其具体推导可被丢弃；解数学题时，已知某条思路走不通就无需保留那 段 「尝试 」的细节。纵观计算机 ...