睡觉也在卷！伯克利Letta新作「睡眠时计算」让推理效率飙升

Letta和UC伯克利研究者提出「睡眠时计算」技术，能让LLM在空闲时间提前思考以提升推理效率，降低推理成本，在多数据集实验中展现优势，在软件工程任务中也有应用。

微软CEO和奥特曼失了和，OpenAI被“断粮”

《华尔街日报》爆料，OpenAI的奥特曼与微软纳德拉分歧加大，关系变微妙。在计算需求、通往AGI时间、内部竞争等方面有矛盾，微软暂停部分AI数据中心项目，双方合作关系面临挑战 。

新站上线，如何在谷歌上获得高曝光和点击？哥飞和良辰美的网站案例分析，揭示了排名、上线时间对流量获取的影响，以及如何通过社群活动激励站长们参与竞争。

ICML26 | 浙江理工大学马啸讲师和南京大学李武军教授课题组联合提出EMCES：为强化学习合成更有价值的样本

强化学习获取高质量样本成本高、风险大，现有基于扩散模型的样本增强方法有局限。浙江理工大学马啸讲师和南京大学李武军教授课题组提出 EMCES，将情景记忆机制引入可控扩散模型，提升下游强化学习算法表现，论文已被 ICML2026 录用。

AI编程 OpenWolf 持久记忆实战

当前AI编程助手缺乏持久记忆，每次新会话都要重新解释项目信息。开源工具OpenWolf在Claude Code运行流程中嵌入Hook脚本，形成记忆系统，能自动积累经验、减少重复工作，还介绍了记忆文件、适用场景等。

5月5日5点55分，GPT-5.5自己选客人开派对！Codex反超Claude Code

5月5日下午5:55，GPT - 5.5将举办派对，时间自定，客人由Codex挑选。过去两月，AI编程工具圈开发者从Claude Code转向Codex。虽Claude模型强，但工具体感上Codex占优。

Grab 工程实践：将 LRU 升级为 TLRU，Android 图片缓存节省 50MB+

为改进 Android 应用图片缓存管理，Grab 工程师将 LRU 升级为 TLRU。通过引入基于时间的过期机制，fork Glide 项目扩展 DiskLruCache 实现。此方案让 95% 用户缓存省 50MB，可回收数 TB 存储空间。

nnU-Net：医学图像分割的自适应自动化框架

德国癌症研究中心团队提出 nnU-Net 自配置医学图像分割框架，能根据数据集特征自动推导预处理、网络拓扑等策略获稳健分割基线。文章介绍其原理、优缺点、评测案例及 Python 代码实现。

菲尔兹奖成果首次被AI完整形式化，Gauss20万行代码改写数学史？

Math, Inc. 公司用 Gauss 智能体完成 8 维和 24 维空间最优球体堆积定理形式化证明，代码约 20 万行。该定理最初由 Maryna Viazovska 及其合作者证明，这是本世纪首个被完全形式化证明的菲尔兹奖成果。

Altman承认“搞砸了”！曝 GPT-5.2 牺牲写作换顶级编程，明年成本降 100 倍，实锤Agent 已能永久干活

OpenAI CEO Sam Altman 在研讨会上勾勒 GPT-5 进化蓝图，承认 GPT-5.2 研发“搞砸”写作能力，承诺到 2027 年底其智力成本降 100 倍，还提出未来软件应“随需随生”，重构操作系统。