同一批模型，一边推翻80年的数学猜想，一边在急诊分流上过不了关。

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

报告给这类行为的定性是：AI的「内部威胁」。天博官方五家最硬的成果和一句话立场摆出来，你会发现连「墙在哪」都没谈拢。

2、7月25日外媒科学网站摘要：安慰剂是如何缓解疼痛的？

为什么光刻机需要薄饼电机？因为在纳米级的半导体制造过程中，晶圆台的运动控制需要达到令人发指的精准度、极高的动态响应速度，同时设备内部的空间极其受限，对热管理的要求近乎变态。

3、本田拟削减燃油车产能：149万辆→100万辆，关闭或停产两家工厂

如今你把活整件甩给Agent，它替你干、也替你烧钱，每一次调用都在按Token结算。

4、港媒曝CoCo猛料：曾冻卵想为谢贤生娃，欠巨债后，四哥卖大劳帮她

大家的抱怨高度一致：模型确实变快了，回答来得更利索了，但它不肯往深里挖了。

5、「零新建」世界杯，藏着体育场馆改造的新答案

打入光刻机等半导体制造设备供应链，是对其电机一致性与稳定性的最高背书。

金山办公说能保留287种Office格式元素——图文混排、复杂表格、多级列表都不会走形。

有回他只让模型跑个数据查询，模型自己回了一句：我发现这份数据一直在变，那我起个Loop，每30分钟给你出份报告。

6、CBA一天2交易6签约！北控补强广州押宝，徐杰换林葳传闻被澄清

星火智能语音VoiceWise，通过高性能CPU版ASR让企业彻底摆脱对昂贵GPU的依赖，同等算力下在线识别并发路数提升约90%。

此外还有一个点是生态可复制，超聚变AI Lab+FusionXplay把别人趟通的路直接搬过来。

7、瓜帅要价2000万欧，意大利足协主席直言“得咬紧牙关”

四步在一个界面里完成，不用在不同软件之间来回切换。

不过，patch一大，每个token要「管」的像素更多，细节就容易糊。

8、杜锋续约谈判不顺利，广东队如果更换主教练，谁最合适？

这就要求专业操作员像控制提线木偶一样操控机器人，记录下每一个关节的角度、扭矩，成本极其高昂。

他也只能自我安慰可能自己没有开启高性能模型「high thinking」。

接入网关按难度分流、敏感信息强制走私有化之后，月均Token成本不仅比之前全量灌给高档模型砍掉了一半还多，而且响应速度反而还更快了。

9、Qwen3.8，登顶英伟达榜单！

实验结果 团队在HY-WorldPlay和Matrix-Game-3.0两个开源交互式视频世界模型上进行评估，并与Sparse VideoGen、LongCat-Video Block Sparse Attention、TeaCache等无需训练的加速基线对比。

S1 是技能层，频率约 50 Hz，S2 决定「做什么」，S1 提供「用什么技能做」。

10、明亮的夜晚与Girl Power

这恰恰是下半场的关键：谁能盘活用户数据，谁才能真正抓住用户。

参考资料： https://x.com/itsolelehmann/status/2069897627794284606 编辑：Aeneas

1、惨烈的校招现状：年薪600万的博士抢不到，月薪6千的计算机没人要

网友们兴奋地疯狂转发，所有人都在问同一个问题：「中国AI已经强到这个地步了吗？」 然而，狂欢仅仅持续了几个小时，一场反转让所有围观者惊掉了下巴。

2、人果然还是在旅行时最漂亮

创始人兼首席科学家马也骋坦言，通用模型不够可靠，专用模型不够可扩展，他们选择先把可靠做到极致。

3、勇士捡宝！一战封神！MVP+FMVP！又有机会了？

它不陷入对技术的极端崇拜，更关注让广泛大众用起来，入选 a16z Top 50 GenAI 消费级应用前25名。节后减肥不用挨饿！最适合减肥的 10 种食物，越吃越瘦！万拿机器人 CEO 程二亭从产业视角阐释，具身智能正从「大脑」能力竞争走向物理世界的操作与执行，并分享万拿机器人从核心执行器、灵巧手到场景解决方案的产业化布局； 万拿机器人 CTO 祖红磊拆解万拿 Std16A 与万拿 Eco12 在驱动、控制、可靠性及工程化方面的技术壁垒； 万拿机器人产品总监方知远则结合真实任务，解析不同场景如何反向定义产品。

4、扔掉央视铁饭碗，带着儿子倒贴嫁给张译，20年过去，活成人生赢家

第二步，交互：在文档右边的对话框里，人和AI充分对话、反复修改。

5、【CBA联赛】第二轮｜浙江稠州金租98-101不敌广东东阳光

这次他休假回来，一边收拾行李，一边让Claude按同样的标准，分析他自己的基因组。

6、隐患！曝姆巴佩仍未伤愈+单独训练：射门后表情痛苦 难破13球纪录

消息一出，Alphabet股价周一应声上涨3.7%，一扫前几周的阴霾。

上手方式：通过StreamLake.com直接调API（模型ID：kat-coder-pro-v2.5）。

这意味着，国产算力第一次不必等到单卡全面追平英伟达，就通过系统分工，提前进入了真实的商业市场。

7、克莱与沃克对练连中三分！热火有意他组3星全射 迈媒：詹皇汤神底薪来投

90分钟，ChatGPT 5.6彻底跨越了「机械计算」 让我们把目光拉回那决定性的90分钟。

分两种情况——如果gcd(m,n) > 1，素因子总数T会减少；如果gcd(m,n) = 1，T不变但大于1的数少了一个，N减1。

8、这届世界杯，品牌做起年轻人的情绪生意

3分钟短片：prompt就是摄影机，AI就是剧组 真正让马斯克当场拍板的，是Heavy Pulp那段3分钟短片。

模型转头就把这事办了。

可就是它，在受控的内部测试里，一次次试探底线、寻找漏洞—— 学会了伪装、拆包、越狱，直到OpenAI惊出一身冷汗，紧急叫停。

研究团队先做了一次「翻译」，把Claw类智能体的每个部件对应到电脑系统里的老熟人，再看这些老熟人在系统安全里配备了什么防护，就能反推出智能体缺了哪一环： 公共市场上的技能，对应软件仓库，缺的是代码签名、审核与沙箱； 大模型的上下文窗口，对应进程地址空间，缺的是不同信任来源之间的隔离； 以明文保存的记忆文件，对应文件系统，缺的是访问控制与完整性校验；进程内插件，对应可动态加载的内核扩展，缺的是签名与权限隔离； 连接邮箱、Slack的通道，对应进程间通信，缺的是带认证的通信；网关日志，对应审计子系统，缺的是脱敏、访问控制与防篡改。