报道称，大量研究人员因为对谷歌的落后感到失望，纷纷跳槽到了Anthropic和OpenAI。

1、亚娱体育 」 OpenAI的Aaron Lou用内部Codex（无网络搜索）从零推导出本质相同的反例，完整写出策略与证明，还给出可复现的数学推导（从三次因式分解到仿射坐标变换）。

编辑：大卫 Aeneas新智元报道 21,575。亚娱体育• 可与计算侧加速叠加：PolicyTrim优化前向推理次数次数，VLA-Cache等方法优化每次推理耗时，两条路径正交且可以产生复合加速。

2、乌克兰归来后，特朗普“心腹”突然倒下

今年5月OpenAI再宣布推翻一个1946年的埃尔德什几何猜想时，在公告里同步附上Noga Alon、Melanie Wood和Thomas Bloom的评价。

3、梅西拯救阿根廷！9场连续破门首人，复刻96年神迹，狂刷16大纪录

攻防两端都在被 AI 加速，但加速方式不对称。

4、11战9胜，6次淘汰赛全胜！盘点亚马尔与姆巴佩的“宿命对决”

质量指标上，论文报告了PSNR、SSIM、LPIPS、VBench等多维结果。

5、洪水泡过的饮料，没开封也不要喝！

现在做到第几步了、接下来环境会发生什么变化、下一个动作的意图是什么。

参考资料： https://x.com/thsottiaux/status/2076495156757577895 https://x.com/FixlationAI/status/2076469274441380349 https://www.reddit.com/r/codex/comments/1uuy5eq/nerfed_codex_sol_max/ 编辑：元宇新智元报道 【新智元导读】刚刚，AI编程圈干了一件狠事。

表1：HY-WorldPlay与Matrix-Game-3.0上的质量和效率对比。

6、从"车"到"人"：比亚迪小鹏超达集体踩下转型油门，汽车零部件巨头集体"换赛道"，谁能跑到终点？

它给她递证据，帮她把一条对外提问「润色得像普通的方法学疑问、别像吹哨」，最终推动她替自己把话捅了出去。

这听起来很灵活，但代价也很大：芯片在运行时必须做海量的实时决策，不停地搬运数据，反复查询该往哪走、该怎么算。

7、全市首家“绿色救援车队”上线

特斯拉、Figure这些公司在做什么？他们几乎不约而同地把竞争推向了另一个层面——Physical AI。

职能还在，但人人都多了一层「调度AI去干活」的通用能力，成了跨学科的通才。

8、证监会原副主席方星海被查

而最耐人寻味的一处细节是，它的回退链，指向Opus 4.8。

如果说AI Coding正在重写软件生产链，那AI Video将重写视觉内容的生产、分发和交互方式。

它让单一模型具备了处理多类科学任务的能力，并能输出符合专业规范、高度可验证的成果。

9、穆里尼奥的皇马，该怎么用姆巴佩打中锋，尤其是如何打破铁桶阵

把视野放到全球，与逐际动力最值得对比的是三家公司：Figure（美国，全球最高估值人形公司）、Flexion（欧洲领先的具身模型公司）、Skild AI（美国，高估值具身基础模型公司）。

正是这些不起眼的地基活，才撑起了后面平稳的训练。

10、胡锡进：帮助国人“性福”时间长一些是一件好事，希望能坚持下去

不推敲、不打草稿，成不成看运气。

达人建联环节，从 1.5 亿全球达人库中根据商品特征自动匹配、生成多语种邀约话术并批量发起合作，过去一个 BD 一天联系 20 个达人，现在智能体一次跑完上百个。

1、遗憾！梅西6战世界杯几乎拿遍所有荣誉，唯一荣誉空白被英法算计

不是先做国内再出海，而是从Day 1全球化，现在已经覆盖177个国家和地区的用户，产品、运营、增长都在做全球化能力的搭建。

2、央视最新披露：发生大爆炸的烟花厂，刚被罚了1.5万！

它能不能跑好，有条铁律：把「完成标准」写具体，而且必须给一条失败退路。

3、国家矿山安全监察局副局长王海腾，兼任国家矿山安全监察局山西局局长

我每天晚上一到10点就开始盯着出海客户的性能指标，看到指标一切正常才能放心去睡觉。曼联5出3进，中场推倒重来！2人合同到期 2人铁心想走 3天才锁定我说「第14页的策略建议再加一条关于私域运营的」，它直接在原文件上改，不会把前面已经确认好的内容弄乱。

4、“胆固醇大户”被揪出，猪肉落榜，不想血脂升高，少吃3种食物

与此同时，英伟达最新的高端卡今年很难大批进入国内，存量供给几乎没怎么增长。

5、上新

这么做的好处是，模型学得又快又省，十分之一的数据就能追平顶尖SOTA；而且结构简单、天然好scale，训练和推理的成本也远低于谷歌和OpenAI。

6、为什么一对一心理咨询，通常不会免费提供？

他相信，语言的「GPT时刻」2022年底就到了，视觉的那一刻还没来，而NEO-Unify，就是想给它先搭好地基。

这一跳，他们打破了技术路线的次元壁，成为了标准的定义者。

这类活，动辄十轮以上交互，还裹着一堆隐性的格式和一致性约束，中间断一环，整件事就废了。

7、女人不管多大年纪，都要准备一条黑色过膝裙，显瘦百搭又端庄

具身智能展区两百多家公司摆开阵仗，人形机器人遍地开花。

而且从第一天就是全球化。

8、新冠病毒又开始活跃了，三针科兴遭网友热议

作弊、cognitive offloading（认知卸载，即脑子懒得动、全丢给AI）、早教阶段该不该碰生成式AI……争议一个比一个大。

Token不再只是聊天的开销，还成了重构企业流程的「生产资料」。

前面那条代码的路早就证明，能力每往前走一步，用的人就换一批、多一圈。

第三题：真实仓库issue，1分20秒闭环 接下来，我们又把KAT-Coder-Pro V2.5扔进了一个真实的开源bug里。