刚刚！北大校友Lilian Weng最新博客来了：Why We Think

北大校友Lilian Weng更新博客《Why We Think》，回顾利用测试时计算的研究进展，探讨让模型“思考更久”的方法。文中介绍了思维链、潜变量建模等策略，还提及多种提升生成质量的策略，如并行采样与序列修订，以及强化学习提升推理能力等内容。

真香！我用AI做PPT的血泪史：从“能用”到“真香”，V3版到底解决了什么？

作者因公开分享需做PPT，尝试多种AI PPT工具后，自己围绕Agent攒了一个。从V1到V3版不断改进，V3用多Agent提示词用法，风格多样且规则减少，还给出3步制作PPT的方法及后续功能拓展想法。

仅隔一天，OpenAI同步上线o3和o4 mini，它们能调用ChatGPT里的多种工具，可基于图像思考。o3是强大推理模型，o4-mini专为快速经济推理优化。即日起部分会员可体验，还开源了Codex CLI。

阿里云Tair KVCache仿真分析：高精度的计算和缓存模拟设计与实现

阿里云Tair KVCache团队推出Tair - KVCache - HiSim，这是面向分布式多级KVCache管理的高保真LLM推理仿真分析工具。它能在通用CPU上高精度预测性能，支撑计算选型、存储规划和调度协同等决策，还介绍了其架构、组件、验证及性能评估等内容。

卷进“芯片的窄门”

文章指出国内EDA领域目前实力弱，企业多为“点工具公司”，与美国差距大。但作者对国产EDA乐观，基于中国市场增长快、海外巨头有断供风险、国内竞争未到最激烈时。还分析海外崛起模式及中国困境，提出“特色化整合”路线。

陶哲轩用GPT5-Pro跨界挑战！3年无解的难题，11分钟出完整证明

陶哲轩与GPT - 5 Pro合作解决微分几何领域3年未解难题。GPT - 5 Pro从计算到证明一气呵成，助陶哲轩突破思维局限。陶哲轩认为AI在小、大尺度上有用，中尺度无益，还印证多尺度衡量工具有效性观点。

腾讯悄悄出了个插件版“Cursor”，还跟微信小程序打通了。

腾讯云发布代码助手CodeBuddy 3.0，它是插件而非IDE产品，可融入各职位工作流。其亮点是打通微信开发者工具，能利用微信知识库直出小程序，作者体验后认为开发便捷，有望成创造与分发新渠道。

突发！Fable 5.1遭黑客破解，27万字提示词泄露

Fable 5.1和Mythos 5.1发布，Fable 5.1推理成本低32%。但发布几小时后被破解，27万字提示词泄露，曝光了其安全限制、隐私保护等秘密。它工具增加，还破解密码、能完成多种任务，不过也有用户抱怨耗token等问题。

李飞飞引爆的3D新技术，为什么这家深圳公司两年前就“玩腻”了？

李飞飞宣布可在任意设备流式传输超1亿个高斯泼溅，引发对3DGS的关注。其实深圳其域创新两年前就推出相关产品并开源。3DGS面临传输、加载和生态问题，现正从展示介质变为生产力工具，其域方案成底层支撑。

全球看中国，灵初智能用10万小时人类数据写下具身智能的中国答案

2026年，“世界模型”成具身智能高频词。灵初智能联合创始人陈源培认为其非核心方向，而是数据迁移工具。灵初关注人类操作数据转化，在10万小时量级上可大幅替代真机数据，还介绍了系统模块、数据集及商业化阶段等情况。