这背后更像是一场智能驯化，而这场争议，等于把驯化的现场当众揭开了。

1、米6体育 无问芯穹的Token工厂，则希望用「优化即利润」的增长飞轮，向推理时代交出Token效率的答卷。

这一组结果的关键意义，并不在于整体成功率，而在于「纠偏能力接近稳定可靠」。米6体育模型可以叫停，访问可以暂停，PR可以关闭。

2、将门虎子！国米正式签下“自己人”，新星中场想再塑老爹昔日荣光

GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

3、都不讨好！西班牙六台发起梅罗史上最佳投票，两方球迷都吐槽荒谬

你看不到模型权重有没有换，也看不到服务端给你分了多少算力。

4、詹姆斯要失望了！拖延只为等球队换到欧文或浓眉？两大目标都很难实现

前沿的挑战 AI已经开始带来实实在在的现实收益，但要兑现它的巨大前景，我们必须深思熟虑、小心谨慎地渡过这段关键的发展期。

5、新科菲尔兹奖得主邓煜：为中国数学进步感到鼓舞

逐际动力创始人张巍的判断截然不同：纯大模型就像躺在病床上的霍金——极其聪明，具备强大的思考、决策、认知能力，但无法自主行动。

」 更讽刺的是，2018年，当张益唐因孪生素数猜想成名后，莫宗坚专门补充了一版「回忆录」，进一步加强对张的指责，却依旧淡化自己的责任。

比如，要预测性质就走性质预测，要重建结构就走结构重建，还能做三维结构生成、科学图像生成与编辑。

6、WIC 2026直击

本质是因为，想在家庭场景完成作业，单一的手或者脚足够灵活，还远不足以支撑。

未来，HMS将持久记忆融入感知、推理、控制与具身行动。

7、李鸿章苏州杀降多残暴？杀太平军八降王三万将士，震惊世界大丑闻

它把Claude Fable 5的付费访问又延长了一次，同时把Claude Code的周额度上调50%，两项都续到7月19日。

本体 31 个自由度的全尺寸人形机器人 Oli，把椅子上的衣服拿起放在手臂，转身从衣架高处取下衣服，再依次扔进脏衣篓、然后再收纳玩偶、搬箱摞箱、深弯腰拾物、清理垃圾、递物，不靠遥操，稳定、流畅地完成一整套家庭任务。

8、曹永竞在京沪德比爆发！单场送出两次精彩助攻，获赞能重返国足

运动神经（ABot-C0）：运控系统，将ABot体系的决策稳稳传导至机器人的躯体动作上。

背景中，水墨山河化作金色的声波和飞鸟，与顶部的中文「长安未眠」完美契合。

金融想做风控、报表、智能运维，合规和数据安全是红线，享受不到公有云「封装成API、开箱即用」的便利，自建一套，选型、调优、监控、排障全得自己扛，非AI出身的IT队伍根本玩不转。

9、离开顶级豪门真玩不转？这才是瓜迪奥拉比不上弗格森的致命弱点？

在共享的理解与推理之上，模型会根据具体任务，连接对应的科学解码器。

这样的进化能力更类似于人类成长的节奏，在一个人中学阶段学习的是一元二次方程，大学阶段掌握的则是微积分。

10、田野写初心 农技担使命——记湖南省优秀共产党员、高级农艺师赵鑫_网易订阅

你写了段破绽百出的代码让Claude看，它不但没嘲笑，还先夸了句结构清晰。

但下一张寄到CFO桌上的AI账单，不该再是一笔糊涂账。

1、让党旗在防汛救灾一线高高飘扬——致全市各级党组织和广大党员的倡议书

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

2、谢贤去世，享年89岁

参赛即路演，获奖即融资。

3、抗衰主食找到了！研究：他们吃了一个月“高质量碳水”，身体年轻4岁

随手一击，AI给出神级反例 这个问题看似简单，却是一个名副其实的数学黑洞。粤超第十一比赛周比赛延至8月1日进行利用前人证明的无桥图存在「处处非零的8-流」，AI将图上的每一条边，赋予了有限域 （一个由8个元素组成的三维空间向量）中的非零元素标签。

4、延庆区首批青年人才公寓集中选房启动！

去重、按时间排好、标注来源，最后递到模型面前的是一张能直接数数、比大小、看先后的事实表。

5、奥地利阿根廷战罢，世界杯32强赛程已确定

放手之前，还有句最实在的告诫：先把花费的上限设好。

6、打虎！方星海被查

GA发布后同步调整API定价，引入「峰谷计费」。

在线投票显示，Kimi K3在游戏开发领域击败Fable 5，以87%的支持率绝对碾压过去被认为「全球最强AI」的Fable 5。

事情的起因很小。

7、今天起，这几件事不建议做

未来，仍有10倍的下降空间。

小象电动敏锐地切入了由谷歌Alphabet X实验室孵化的企业SKIP的供应链体系。

8、北京市场监管系统首个黑灯AI实验室在平谷落地运行

参考资料： https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber https://github.com/mas-bandwidth/patreon/blob/main/BUGS.md https://www.patreon.com/MasBandwidth/posts/important-news-164199395 编辑：马可新智元报道 【新智元导读】VLA模型已经会做任务，但真实机器人还是慢！PolicyTrim是一种优化VLA机器人执行效率的方法，无需重新训练。

问AI的四个手法 硅谷顶级用户这么用 Andreessen也交底了他自己问AI的四个手法。

真正的核心，变成停止条件设计、验证器（verifier）设计、token预算控制、多轮执行策略。

他认为大模型本质上是静态权重的token生成器，做数学的时候，不会像人一样实时长出新的神经连接。