首个代码世界模型引爆AI圈，能让智能体学会「真推理」，Meta开源

Meta重组后的AI部门推出首个代码世界模型CWM，是320亿参数开放权重LLM。它与传统大模型思路不同，能模拟代码执行。CWM在通用编程与数学任务表现不错，Meta还开放相关检查点以支持研究。

又多了一个哄孩子AI神器，一张破涂鸦竟能秒变迪士尼动画

年轻父母有了哄娃新法子，用AI可将涂鸦变动画。博主用Midjourney将妈妈30年前涂鸦做成动画，还给出提示词框架。介绍即梦、可灵、谷歌Veo3等工具，它们能快速生成音视频，各有优劣。还提到Meta的Animated Drawings玩法。

陶哲轩看傻：三破18年数学纪录！谷歌推出「AI爱迪生」，科研不再靠灵感？

5月中旬谷歌发布AlphaEvolve，30天攻克18年未解难题。它利用Gemini模型发现新算法，从AlphaGo获启发，能在编程空间搜索方案，或开启不靠‘灵感’的科学革命，还将改变科学家角色。

抛弃预定义Tool，首次提出通过动态工具生成的Agentic多模态Reasoning，破31%涨幅

视觉推理任务中，传统多模态大模型依赖预定义工具，灵活性与领域适应性差。PyVision 框架首次让 MLLM 在推理中实时生成、执行并迭代 Python 工具，在多类任务中显著提升性能，实现范式跃迁。

LLM加RL遭质疑：故意用错奖励，数学基准也显著提升，AI圈炸了

华盛顿大学等机构论文引爆AI界，其发现用虚假奖励训练Qwen2.5-Math-7B模型，也能提高MATH - 500成绩。虚假奖励对Qwen模型有效，但在其他模型上有限，凸显RLVR有效性与模型能力有关。

AI圈惊天丑闻，Meta作弊刷分实锤？顶级榜单曝黑幕，斯坦福MIT痛斥

AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了

OpenAI新推理模型取得十项数学进展，如证明非Sofic群存在性等。哥伦比亚大学副教授Henry Yuen对其量子并行重复定理证明既兴奋又失望，因证明有AI味且难理解。此外，Lean证伪科拉兹猜想被指利用内核漏洞，专家提醒Lean验证有局限。

拒绝透露姓名，却拿了两个世界第一：具身圈大佬们都在打听它是谁

世界模型赛道竞争激烈，焦点转向统一“预测世界”与“驱动行动”。神秘的MotuBrain模型悄登两国际benchmark榜首，在WorldArena和RoboTwin2.0表现出色，或走World Action Model路线，有望成统一架构代表。

阿里千问负责人林俊旸突然离职，AI圈刷屏：Qwen 开源时代要变了吗？

3月4日凌晨，千问核心负责人林俊旸在X发文卸任。他是阿里最年轻P10级技术专家，主导研发多个关键项目。其离职引发关注，网友猜测Qwen或转向闭源，业内人士对他评价颇高。

唯快不破：上海AI Lab 82页综述带你感受LLM高效架构的魅力

大语言模型性能提升但成本高，制约落地应用。上海AI Lab联合多家机构总结440余篇论文，形成82页综述，将LLM高效架构分为7类，探讨最新进展，还涉及线性化技术、硬件实现等内容。