搜索
编辑｜Panda 数学正在迎来 AI 革命。 最近几个月尤为明显。比如，就在前几天，Google DeepMind 新论文宣布其最新系统 AlphaProof Nexus 在一次自主运行中，解决了 3
来自华为泰勒实验室、北京大学和上海财经大学的研究团队提出了 SHAPE（Stage-aware Hierarchical Advantage via Potential Estimation），给推理链装上了一套「里程碑 + 推理税」机制——不仅告诉模型每一步推得对不对，还让它为啰嗦付出代价。结果是：准确率平均提升 3%，token 消耗直降 30%。
今天介绍 Claude Code 上线的一个新功能：/ultrareview。一句话概括：它会在云端同时派出多个 AI 审查员，帮你在合并代码之前把 Bug 揪出来。这个功能其实在上周 Claude Opus 4.7 发布时就提到了，当时 Anthropic 在发布公告里写的是：
Contrary 是一家成立于 2018 年的美国风险投资公司，由 Eric Tarczynski 创办，自成立以来，其以“人才驱动＋研究驱动”为核心方法论，在全球顶级高校铺设了庞大的人才网络，通过识别最优秀的年轻技术人才来发现投资机会。
今天，清华大学 THUNLP 实验室、东北大学 NEUIR 实验室、OpenBMB 、面壁智能与 AI9Stars 联合发布 UltraRAG 3.0 ，针对上述痛点，为科研工作者与开发者打造更懂开发者的技术框架，具备 3 大核心优势：
一款名为 Befreed 的产品于 11 月 17 日在 ProductHunt 上冲榜，获得了日榜第二、周榜第五成绩。Befreed 的定位也是“AI 播客+读书”，与 Aibrary 比较类似，但 App 成绩却要好一些。
当你阅读《红楼梦》《哈利·波特》《百年孤独》等长篇小说时，读着读着可能就忘记前面讲了什么，有时还会搞混人物关系。AI 在阅读长文章的时候也存在类似问题，当文章太长时它也会卡主，要么读得特别慢，要么记不住前面的内容。
最近，曾任字节智慧教育业务线 CEO 的李可佳（Ethan KJ Li）也入局了“AI 播客”，只不过它的思路与前两位并不相同。李可佳的产品名为 Aibrary，于今年 4 月 23 日上线美区 App Store 进行测试，9 月 23 日正式上线。从官网上的介绍来看，Aibrary 的核心功能是把书籍转化/重塑为个性化播客，并通过定制学习路径、互动式辅导，服务于个人学习场景。
创智、基流、智谱、联通、北航、清华、东南联合打造了高效率、高可靠、高可视的 GPU 集合通信库 VCCL（Venus Collective Communication Library），VCCL 已部署于多个生产环境集群中。
这位乒乓球场上的机器人高手，出自清华姚班本科生苏智（师从吴翼教授）的最新论文——《HITTER: A HumanoId Table TEnnis Robot via Hierarchical Planning and Learning》。