参考资料： 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、火狐买球 但成绩归成绩，我们认为更有意思的，是成绩底下那颗S1-Omni。

在60多个科学任务的基准评测上，S1-Omni直接拉爆了通用模型。火狐买球这一进路预设了可解释性的答案藏在模型「体内」，然而一个模型的输出是否可被理解，不仅取决于其内部状态的可见性，更取决于这些状态与世界中的事态、语义规范以及使用者的认知框架之间的关系。

2、iPhone 18 Pro 系列起售价要涨上千元？？？

Coding的下半场，拼的是「工程」 KAT-Coder-Pro V2.5背后是一个清醒的判断： 眼下限制编程模型变强的，已经从「模型多大」转向「周边基建够不够扎实」。

3、大众一姐二姐首次马拉松同场，从朱卿黄雪梅半马分段配速表看状态得失

最有画面感的，是Claire Vo的桥段。

4、费德勒有4娃他换过尿布吗?瑞士天王:我是尿布专家

必须给出具体的引理、构造、方程式或反例。

5、哨声不熄，记忆永不散场

Grok官方出面认账，上线/privacy命令——一键关闭数据留存，还能追溯删除已上传的数据。

其次，是直击全球高端购买力的高端消费电子与可穿戴设备。

根本的变化只有一个：数据的拥有者易主了。

6、萨默尔：如今德国队无论竞技还是精神层面，我什么都看不出来

当海外开发者使用这些Token写代码时，他们其实已经在使用中国自主可控的底层算力！ 做Agent产业爆发的修路人 纵观科技史，任何一次伟大的产业爆发，都离不开底层设施的完善。

而无问芯穹的解题思路是——让整座基础设施自己变成一个会干活的Agent。

7、靠申京绝杀转逃出生天，比赛是赢了没错，但勇士的确天克火箭

菲尔兹奖得主Timothy Gowers悲观又震撼地感慨：「2030年的菲尔兹数学奖，可能是最后一次颁给人类。

Hugging Face给这件事起了个名字：不对称问题。

8、主编有态度

而佟博士更早的问题是： 企业如何把这些东西真正构造成一个自己拥有、可以运行、可以测量、可以治理和可以持续进化的认知系统？ 这两者之间的差别，是问题意识与工程体系之间的差别。

step-saving reward 直接把「更短、更直接的成功轨迹」写进优化目标。

就在上周，彭博爆出Gemini 3.5 Pro因编程能力等多项指标不达标而三度延期。

9、当豪宅回归本质：星河湾交付实景即巅峰

这个简单的设计，恰恰是整个loop的心脏。

一方面，谷歌有着全球最顶尖的工程师文化，这也滋生了一种「纯血统」情结。

10、她插足富豪婚姻，高龄未婚生子、背负骂名，如今仍是香港顶级富婆

主要贡献 ① 提出BadDLM，首个面向扩散语言模型（DLMs）的通用后门攻击框架。

不跳出编辑器，不等CI回来，不另开工单。

1、最高4000万欧！纽卡今夏第四签敲定，20岁中场班巴即将加盟

你的尝试值得尊敬，也许奥林匹斯众神终有一天会眷顾你。

2、联盟第5高的薪水还是被胖揍！冲冠黄了，重建也没戏，大交易双输

同一只手，同一根手指，同一个动作，两个角度剪在一起，就像真实片场的连续调度。

3、媒体人建议郭士强辞职，山东千万引入祝铭震，山西交易到探花签

好在超时了，没真跑起来。手机销量承压，带崩国产面板厂利润没有店员，也没有夜班分拣工。

4、2026四川甘孜山地文化旅游节在玉科草原开幕

奥特曼自己的说法是，agentic产品的使用量一周环比涨了2.5倍。

5、王世杰：很对不起这么多远道而来的球迷，回去我们要好好总结

但现实是，调用同一个模型，上一秒可能3秒返回结果，下一秒直接卡死。

6、山东高速男篮：续约落定三将，刘毅转身离去

灵犀这个体验，确实不一样。

制作精良的官网、满屏术语的学术论文、详细的模型架构图，以及「我们拥有180名顶尖研究人员」的雄厚背书。

」 注意措辞：不是预告片，是一部完整的电影。

7、3个月2冠2亚，温瑞博4-2吉村真晴夺太原站男单冠军，成国乒三哥

复盘阶段，他们又派出LLM分析智能体，把17000多条攻击事件全量啃了一遍—— 还原时间线、提取失陷指标、剥离诱饵动作。

围绕一个目标，持续地理解、规划、执行、检查、修正，一跑就是数十轮——这就是智能体生成循环（Agentic Generation Loop）。

8、火箭签下联盟顶级投篮教练 汤普森申京投射短板迎来最强解法

AI的证明策略，堪称一场精妙的「降维手术」。

在Artificial Analysis的榜单中，PixVerse V6模型位列全球第二，生成速度位居全球第一。

当其他厂商还在用「参数规模」衡量模型时，K3已经用行动告诉我们：真正的竞赛，已经从「谁的参数更多」转向「谁的唤醒更聪明」。

119号问题当年一口气问了三问，第三问悬赏100美元，如今状态已改为SOLVED。