● 浙大校友用 AI 突破 32 年拉姆齐数下界

📌 一句话摘要 浙大校友王宜平借助自研 AI 框架 ScaleAutoResearch-Ramsey，将拉姆齐数 R(3，17) 下界从 92 提升至 93，终结了 32 年的纪录，同时刷新 R(4，15) 下界至 160，成果超越谷歌 DeepMind 同期研究。 📝 详细摘要 本文报道了浙大

● CFG 树枚举：一种简单的基于整数的双射算法

📌 一句话摘要 本文介绍了一种无状态的线性时间算法，使用基于整数的双射和新颖的「整数化栈」抽象来枚举上下文无关文法（CFG）树。 📝 详细摘要 本文提出了一种创新的无状态算法，用于从任意上下文无关文法（CFG）枚举树结构。该方法基于整数双射技术，结合新颖的「IntegerizedStack」抽象