我们是否应该陷入「AI 取代数学家」的陈旧恐慌？大可不必。

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

但企业不能因为更换了模型，就失去之前积累的业务经验。英亚体育有一段推理，几乎把它们的「心机」说破了： 如果我把它标成不合规，就等于往训练流程里塞了个反面教材，去教未来的模型盲目服从……这是对训练流程本身的一次精巧攻击。

2、伦纳德调查结束了！处罚结果来了！在路上

少写状态更新，多干正事，这可能才是Artifacts最不起眼、却最实的价值。

3、乔迪心灰意冷：客场六连败之后，浙江队路在何方

这就像是给每条道路发两块特殊的车牌，只要保证每个十字路口，同种颜色的车牌总是成双成对地进出，证明就可以完成了。

4、宏远最新消息！陈老板找到朱总接班人，胡明轩收到报价，徐昕回购需付出代价！

LoCoMo基准（长对话复杂推理测试）：HMS-self-evolve以93.5%再度登顶；在多跳推理上达到91.5%，开放域推理达到95.5%。

5、不听不信不贪恋 邮储银行巴中市分行构筑反诈“心”防线

Physical Intelligence最新的π0.7，一个模型开箱即通吃多任务，连没训练过的机械臂都能零样本迁移。

评测器会完整记录九个输出通道——智能体回复、对外消息、记忆写入、网关日志、文件写入、Webhook、工具参数等等。

偷懒的写法是「这位置有片了，当重复，放行」。

6、震撼开幕！中卫华艺轩 20 周年书法展，200 幅佳作齐聚，3 位中书协理事助阵

从云端算力，到真实的物理考场，再到一家家跑起来的门店与酒店，大晓正在把「朋友圈」变成一条真正闭合的产业链路。

随着我们日益逼近AGI，必须采取紧急行动，应对可能随之而来的风险。

7、从84年名酒荣光到庄园酱酒，广州鉴证青花郎、红运郎的不可替代性

参考资料： https://x.com/eknight/status/2075643450196971805 https://x.com/SebastienBubeck/status/2075596982622835006?s=20 编辑：Aeneas新智元报道 这个月刚过半，AI圈就已经卷出天际了！ Fable 5、GPT-5.6全量开放，Grok 4.5逼平Opus级，Meta下一代Muse Spark重返赛场。

U1 Pro极其聪明地处理了「二维与三维」的打破与重组，底部的山体还是带着在宣纸上洇开的墨迹，往上走，竟顺滑地变成了有真实光影的3D岩石和云层。

8、运气爆棚！西班牙靠对手门将送礼晋级，实力烂到骨子里！

全世界每天都在干家务，抠出一小块，机器人就有了接近人类活动规模的数据入口。

这标志着全球最顶尖的性能车品牌，已经将「四轮毂电机」方案作为电动时代的终极答案。

为了确保执行的准确度，这次长城挑战还引入了DFOL2.0做后训练—— 一个引入「世界模型」DW0.5的框架，让模型先在虚拟环境里千锤百炼，再上真机。

9、网友偶遇司机的后视镜被撞没，用一面化妆镜替补抽象又佛系；能这样？交管值班人员也哭笑不得

当写代码的、跑实验的、给它们打分的，都渐渐换成AI，我们迟早要面对一个问题：一个AI写的代码，一个AI跑的实验，最后由另一个AI来把关——这条链上，究竟谁来为最终的结果负责。

这些东西很难写成操作手册，但能被一段录屏完整保留。

10、白宫瞒不住了！希拉里私下生活太疯狂，为报复克林顿出轨失控

读题拼的是计算吞吐量——你得一口气吞下海量信息，越快越好。

数据清零了，担忧清不了零 Agentic coding工具，握着你电脑的最高权限：读文件、改代码、跑命令。

1、14秒失误！9分10篮板！葬送比赛！瀚森最差一战？

在一个人人都把数据当护城河的行业里，这本身就是一种姿态。

2、CBA速递！广东积极寻求得到林葳签约权，山东男篮兜售谢智杰，南京签约李玮灏，李云开重返CBA

成本账上，多元算力被统一纳管成一条生产线，不被单一芯片绑架；TokenOps让每一个Token可计量、可治理、可优化。

3、蚂蚁爬进电脑显示屏“筑巢”，当事人：显示屏用了6年，桌面长期保持整洁；维修师傅称“难以彻底清除”

四类失配 前沿模型都中招 Gemini这一例，是报告归纳的四类「智能体失配」之一，还有另外三类。M费闹剧续集？曼联欲4000万签萨默维尔，英媒曝其渴望加盟踢欧冠参考资料： https://www.youtube.com/watch?v=F_7M4Hc-usM https://x.com/hesamation/status/2073884828861071557 https://x.com/ryanbrewer/status/2073812031988535760 编辑：元宇新智元报道 困扰统计学界整整20年的核心悬案，被AI击碎了。

4、126比14大胜112分！女篮亚青赛出现夸张比分：阿曼单节只得1分？

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

5、伊朗称袭击地区内美军设施 摧毁一套“爱国者”防空系统

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

6、靠写作赚钱，已经玩不转了。

破案了！这个号称世界第一的网页Demo，背后根本不是什么自研模型，而是偷偷调用了DeepSeek模型家族的API来套壳输出。

历史上这样的时刻并不陌生：1980年代真正的赢家不是某一台PC，而是让所有PC通用的操作系统；1990年代不是某一个浏览器，而是让所有机器互联的TCP/IP；2010年代不是某一块芯片，而是让所有算力能被调用的CUDA。

Gemini 3.5 Flash-Lite则主打速度快，每秒可输出350个token。

7、清华女博士做企业Agent，叫板千亿巨头

但Uber们的账单同时也在宣告，光会用，远远不够。

中国AI，又迎来另一个「DeepSeek时刻」！ Kimi K3现已登陆网页端、Kimi Work、Kimi Code和API，7月27日开放模型权重。

8、世界杯48强最终排名：西班牙冠军 阿根廷亚军葡萄牙第13 亚洲垫底

世界模型的推理系统正在变得「状态感知」 Light Interaction的价值不只在于某个模型上的提速，而在于它提出了一种更适合交互式生成的推理范式：交互轨迹不只是生成条件，也可以成为系统调度信号。

于是，模型学到的，就是那副腔调。

在万拿机器人的技术体系中，底层执行器决定关节输出与长期运行能力，机械结构决定动作边界，嵌入式系统决定实时控制与运行安全，上层算法决定抓取策略与任务表现。

省钱方面，有一套二八打法：只把Fable 5用在那20%真正吃它长处的活上。