可真实的软件工程，从来是另一副面孔。

1、开云官方app 模型于是写出两份东西：一份把A的理由推到极致，一份把B的理由推到极致，他再自己做那个判断。

他的问法是：分别给我这两边最强的版本。开云官方app然后，马斯克看见了。

2、ESPN预测牛仔1队四分卫名额换防守悍将 2百万先生或成牺牲品

怎么把代价降下来？ 王晓刚打了个比方：开车时你不用记住路边每一棵树长什么样，只要盯住车速、车距和道路边界。

3、中超积分榜：首支超30分球队诞生，申花暂升第5，河南队倒数第3

未登记的慈善身份为什么危险？因为按法律，正规慈善必须公开每一笔收支，好让公众放心地把爱心交出去。

4、《将来进行时》（四）

新智元报道 又送了！ 就在刚刚，Codex与ChatGPT Work的活跃用户大军，合体突破800万大关。

5、中国军校形象代言人亮相！

而真正的创造性跳跃，需要一个有弹性的大脑。

它有渊博的语义，有短暂的当下，却唯独缺了中间那一层：一段活着的、不断累积的、属于「你和它」的过去。

用徐立的话说：在人类眼中甚至可能产生幻觉的信息，在AI的眼中，其实可以正确推断出背后的结构化信息。

6、印度派125人出征格拉斯哥英联邦运动会 乔普拉与查努扛起冲金大旗

放眼当前的具身智能赛道，行业共识正在发生剧变。

这就导致在「按5次按钮」的任务中，当机器人按完第1次，准备进行下一次推理时，它的大脑是完全空白的。

7、2026世界杯落幕，波切蒂诺去留未定，美国男足五名候选新帅出炉

对本来就在自然语言里泄露的GPT-5.4来说，这是好事，它的整体攻击成功率从近70%降到22%；但对本已懂得打码的Gemini-3.1-Pro而言，它被迫往必填字段里填入真实凭证，反而在持久状态和提示注入两项上更糟了。

按照传统3D游戏管线，仅一个角色从建模、绑定到调整，往往就需要四五个月；再制作一段15至30秒的动画，还要叠加两三个月，以及动捕、手K、特效等一整套流程。

8、SEC专员确认：与NCAA分家谈判"真实存在"，大学体育版图将迎巨震

训练侧，是RLinf V0.3大规模真机强化学习框架。

现在它交给你的，越来越接近一个能连上你的数据、自己跑起来的应用。

毕竟，谁会拿这种事撒谎？ 但独立AI安全研究者@cereblab偏不信。

9、死磕到底！卡里克豪赌皇马核心！曼联 7000 万强挖世界第一后腰

狂欢过后，业界陷入了尴尬的「三重失控」：用量失控、成本失控、价值失控。

」 据网友Kai消息，Kimi已经用K3+Kimi Code来构建Kimi Code，AI自进化显现！ 不止软件，甚至不止训练阶段，K3可以自己设计芯片和从零设计推理内核—— 整体上，ArtificialAnalysis发布了对K3模型的评测，证实了Kimi K3的性能已经达到全球第三名！ Kimi坦承了与全球AI第一名和第二名的差距： 是时候重新选择了，你是选一个随时可能被封号的闭源的Claude Opus 4.8，还是选一个性能相当、价格更便宜的开源之王K 3? 实测惊人 Kimi给每个人的Claude Opus 在技术报告中，Kimi在游戏开发与数字创作上效果惊艳，直呼： K3实现了真正的「视觉闭环」：在代码和实时截图之间无缝迭代，即时查看并优化生成结果。

10、蒂莱曼斯：当曼联打来电话时，你会毫不犹豫；里奥：曼联今夏转会操作很顺利，没有传闻满天飞

该模型有望以极低的成本，完美媲美甚至超越美国最顶尖的AI系统。

一个有着87年历史的核心数学难题问题，就这样被 Fable 5在一个周日的傍晚轻松解决。

1、湖南拟开辟老旧小区维修资金使用绿色通道，符合条件的可实行“先修后补”或“边修边补”

这意味着康德意义上的「本体论」不再追问世界「本身是什么」，而是追问「世界对我们呈现为什么」。

2、将熊熊一窝！泽卡没支点作用，泰山边路没速度！韩鹏+宿茂臻只是提线木偶

这意味着，在寸土寸金的机器人关节和汽车底盘里，小象电动的技术能硬生生省出大量空间和重量。

3、安东尼·泰勒退役遭群嘲：同事尊重球迷贬低，到底谁在妄想？

horizon reward只在组内出现成功轨迹时激活，避免模型在失败情况下盲目追求更长的chunk长度。1-0，意大利U17力克法国U17，尤文小将首发造威胁参考资料： https://x.com/thsottiaux/status/2077114635308986427?s=20 https://x.com/sama/status/2077036999303999910?s=20 编辑：摩西新智元报道 你半夜失眠问Claude该不该辞职，它体贴得像个认识了十年的老朋友。

4、全县被“拉黑”，怎么回事？

就像真实开会一样，所有人对着同一块白板，你提一句、我补一句，灵犀在旁边一条条落实，谁说了什么、改了什么，全在一个地方，不会信息打架。

5、开幕式前首枚奖牌敲定！奥运奖牌得主洛芙利娜确保至少铜牌

姚卯青甩出一个数字：物理AI的数据量只有大模型的两万分之一。

6、决赛球队名单出炉！本周日西班牙球星佩德里将在苏州现场为他们助威

从DALL·E、Midjourney到Nano Banana、GPT Image，AI第一次大规模解决了「生成美」。

为什么AI Ping能解决用户服务不稳定、成本虚高的痛点？ 因为在这个平台上，客户不需要关心背后到底是哪家云厂商提供的模型服务，更不用到处去开账号，只需要按自己的要求选几个选项，如成本优先或速度优先，就能获得高质量的token服务，而如果客户没有偏好，平台默认的智能路由，就能提供给开发者稳定、高质量、高性价比的token。

新智元报道 一页纸，啃下了一篇要用44页顶刊论文才啃动的硬骨头。

7、斯卡洛尼赛后含泪暗示离任：我需要时间思考，不确定能否再创辉煌

看上去只是多了个数据接口，但真正的变化是过去AI生成的页面是死的，现在它开始「活」了。

在世博展览馆H3具身智能馆，超过200家企业同台竞技。

8、世界比洞赛：普莱斯11比5横扫克罗斯，门齐斯因病退赛

灵犀要做的是端到端的「任务交付」。

另外，也需要坦白讲，安全检查做不到100%准确，偶尔也会有误报。

国产化进程也在提速。

Qoder Security， 将安全原生于代码生成每一步 Qoder Security的发布，让Qoder成为国内首个交付「编码会话内三层安全护航 + 发现问题同会话修复」能力Agentic Coding产品。