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

1、乐竟体育 Opus 5想抢的，从来就不是Fable 5头顶那顶王冠，而是你我手里的那张账单。

更让他意外的是，接下来AI竟自己调用SymPy写代码，回过头去验证自己的预测结果。乐竟体育这恰恰是下半场的关键：谁能盘活用户数据，谁才能真正抓住用户。

2、王艺迪3-2险胜横井咲樱，美国大满贯女单8强出炉，上届8强换了5人

他们把全行业最强的十几个AI模型，一个个扔进模拟的公司和实验室。

3、难以置信！杜克大学的传奇，在NBA赚2000万薪水，才37岁就已破产

万拿 Std16A 与万拿 Eco12 并非以自由度多少进行简单区分，而是由任务需求反向定义的两套产品架构： 前者重点满足工业实战中的稳定操作、实时控制与工程化集成需求； 后者重点兼顾拟人尺寸、轻量化、动作映射、开发效率与项目成本。

4、快船128-120击败森林狼！落选秀爆砍24+5+11+6，快船淘到3个好手

值得一提的是，团队一度以为reward上不去是算法问题，排查后发现罪魁是训练环境本身——早期约16%的轨迹里，至少有一次失败源自沙箱而非模型。

5、支撑17地区世界杯直播，腾讯云是如何办到的？

最终交付的是8个文件，约1400行代码，五个新API、26项上传测试，浏览器端连暂停续传和刷新恢复一起做完。

参考资料： https://arxiv.org/abs/2510.04704 编辑：LRST新智元报道 【新智元导读】全网都说GPT-5.6 Sol的Max档变笨了，OpenAI偏说没降智，只是「做了个实验」，实验中拧动的那个旋钮，Max档从960掉到128，用户看不见。

」 意思就是：我们快留不住用户了，求求你们别走，我们给额度，我们降门槛！ 同时，OpenAI也宣布，重置Codex和ChatGPT Work的额度。

6、CBA夏季联赛赛程公布 山西男篮考察新人

AI强在不做情绪性止损。

为满足技术要求，需攻克透明材质识别、柔性力控等产业级难题。

7、乱用AI，打工人被坑惨了

团队的答案是MOPD（多教师在线策略蒸馏）：学生自己做题，题属哪个领域就请哪位专家指点，能力在函数空间融合而非硬拼参数。

据公众号「科技大满贯」统计，本次中国队没有高三选手: 作为首次举行IMO的中学，上海中学累计斩获20枚IMO金牌。

8、德转官宣！留洋比利时的21岁锋霸已加盟成都蓉城，曾效力鲁能

谷歌：Gemini 3.5 Pro延期、4已预训练 在算力紧缺的时代，发布一个逻辑混乱的模型，是否也是渎职？ 有用户讽刺称，DeepMind 这种浪费算力的行为，还不如直接将资源转让给Moonshot等竞争对手。

过去企业能查到的，最多只有前半个。

第三步，建一个指令文件claude-instructions.md，写清每次会话的行为守则：开工前先读记忆文件、给建议前先翻旧决策、拿不准就问别瞎猜、干完活主动汇报并标出需要人过目的地方。

9、每天 “摇胯” 100 次，骨盆正了，假胯收进去了，双腿又细又直

是谁，在哪儿，把它造得这么便宜？答案藏在一层你从不打开、却天天在用的地基里。

关键是，单独看每个文件都正常，谁也想不到串起来会有这么大问题。

10、朱芳雨卸任宏远总经理！紧随杜锋离队，宏远最成功的老总，休赛期大换血，周鹏将回归！

在国产化私有部署场景里，推理引擎的强弱，直接宣判了算力利用率和服务成本。

防线只有一句话，别让它说错话。

1、4年2.12亿！休赛期第一条大鱼，这就签约了！

而对平台厂商、安全审计方与研究者而言，SafeClawArena提供的更是一把可复用的尺子：判断一个Claw类智能体究竟违反了哪几条安全原则，并据此排定加固的优先级。

2、在下一个模型发布之前

难得的是，超聚变没有停在讲故事，而是把自己变成了「第一个客户」。

3、前NBA最佳第六人哈雷尔疯了！24小时内双线血战，轰42分创BIG3历史纪录

能用上、还便宜的，才是今天就能装进你钱包的东西。2004年，中组部副部长对李力群说：高岗平反时机未到，请耐心等待就跟游戏机买DLC一样，交点钱就能陪你玩。

4、“摇一摇”广告终于被整治，但我的手指还是不敢乱动

7月15日发布的WAM-TTT，正是银河星脑（AstraBrain）体系下，专门面向规模化部署推出的后训练技术，也是团队对世界-动作模型（WAM）的一次颠覆性创造。

5、今夏全美最火的网红单品，全是迷你型？

接着，工作人员走上典型的无网环境电梯——这几乎相当于直接拔掉了机器狗身上的网卡，没有Wi-Fi。

6、我国科研团队提出可编程植物合成免疫新理念

第二步：gcd(6,6) = 6，lcm(6,6)/6 = 1，黑板变成[6, 1]。

而佟博士此前在设计ECS、NSEAP和KSTAR时，关注的已经不是单一的数据保护或模型选择问题，而是企业能否拥有一套独立于底层模型的认知内核。

这些东西一旦泄露，不是道歉能弥补的。

7、辛纳卫冕温网：稳定到让人无法呼吸

一边是2.5亿美元预算、上千人剧组、IMAX胶片实拍的好莱坞顶配；一边是马斯克和他的AI。

然后是采集。

8、湘潭队厉兵秣马 备战湘超

对苹果来说，迟到的代价已经写在财报里。

同一批真实科研任务，磐石与GPT-5.5、Gemini 3.1 Pro、Claude Science等全球顶流同台作答，全程交给第三方模型盲评打分。

此芯科技CMO Danny Zhang正式发布AGX Agentic Compute系列产品，并给了AGX一个定义： 首款从底层架构开始，就为智能体计算量身打造的异构计算平台。

刚开源的SenseNova-Vision已经露了苗头。