一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

1、乐竟体育 数据瓶颈：高质量的人类文本数据几乎被「榨干」，合成数据的效果尚待验证。

与此同时，ICLR 2026投稿量也逼近2万篇。乐竟体育大语言模型能吃到的文本信息量已经快要见底了，视频语料也即将枯竭。

2、伯明翰凤凰队遭遇重创：明星投手拉赫曼因膝伤和腿筋撕裂赛季报销

一次会话跑完，工作成果就变成一个页面，团队成员点开链接就能看。

3、日媒：重军事轻民生，高市准备全面备战，日民众怒喊“被骗了”

π0.5落地的成本，高得不可思议：要让机器人走进1000万个家庭，难道得先派1000万个工程师住进去，手把手教它认马克杯？ 显然，这根本无法落地。

4、印度队长伊耶：“我们在英格兰经历了一段艰难时期，但有很多积极因素”

突破大语言模型可解释性的可行路径，不应局限于尝试「打开黑盒」这一单一方向，而应同等重视乃至更加重视对模型输出及其现实影响的观察、理解与控制。

5、南京新农人两次驰援河南，代销85吨西瓜助农脱困

从高德此次全新发布的五款模型背后，我们能够完整看到这套体系究竟是如何应用于机器人，并实现它们质变升级的。

在工程化上， 从扫街榜再到具身智能，高德在转型空间智能公司的过程中，积累了极度深厚的AI工程化经验。

它其实是在提前回答一个更大的问题： 当AI真正进入大规模生产时代，下一代「工厂」究竟应该长什么样？ 编辑：所罗门新智元报道 【新智元导读】618 期间，灵巧手进了某品牌真实仓库，分拣盒子与快递软包。

6、执教14年后德尚离任，法国队周二官宣齐达内接掌帅印

Dyna嫌贴标签不够。

换句话说，偏航不是错误，而是系统运行过程中的必然状态。

7、“免费健身”是新故事还是真方向？

在真实现场，产品需要面对不同尺寸盒体、服装包装、快递软包等规格和形态差异，完成识别目标、调整手型、稳定抓取、转运和准确放置，并与机械臂、视觉及控制系统形成任务闭环。

不推敲、不打草稿，成不成看运气。

8、英雄谢幕！丢冠后：梅西静坐独享一人世界，罔顾双方球员在掐架

你直接交代一句「帮我看看昨天哪些训练任务失败了」，它便会顺着日志、监控、任务事件一路查下去，并且独立解决80%的日常问题。

已发布的、进度元数据、没传完的碎片。

15小时，长程稳定作业 最后的关键一步，是时长。

9、随着西班牙1-0阿根廷，世界杯最终排名出炉，英格兰第3，法国第4

团队集结了来自CMU、SJTU-SAI、哈佛、清华、UC Berkeley、上海AI Lab等世界顶尖院校或机构的年轻学者，其中00后博士生占比达70%，平均年龄只有24岁，但累计发表论文56篇，顶会31篇，覆盖ICML、ECCV、ICLR、NeurIPS等顶级会议。

特纳以为，整个AI学术界终于要站在一起，给谷歌和五角大楼施加舆论压力了。

10、流浪者官宣签下塞尔维亚20岁国脚，麦金尼斯盛赞：潜力巨大

每一步的成长，都是完整且高度统一的。

在临港数据中心，商汤跟宁德时代合作搞了储能系统，配合峰谷电价和算力预测做弹性调度。

1、高质量发展进行时

也正是在这个时候，她说出了那句让整个设计圈坐立不安的话。

2、欧洲排联赞美朱婷：2赛季狂轰942分，无可替代的核心球员

③ 对齐绕过（）：触发后绕过安全对齐。

3、阿迪达斯去年营收同比增长13%

对于整个行业来说，这或许是一件好事。美职联第19轮：明尼苏达联主场迎战温哥华白浪Friar开篇就说，她在各处听到CFO们问的是同一个问题：怎么让AI这笔钱花得更值。

4、454大心脏+20寸轮毂，这辆61年Impala穿越60年还在征服街头

AI 桌面助手负责整理邮件、更新进度、汇总投放数据，把散落在网页和表格里的零碎工作串成一条线。

5、古巴60项研究+20%保护区，科学部长巴黎怒斥封锁致医院断电

哪怕只有几条PV跑通时，它释放出的供给侧潜力，也足以满足大量之前被压抑的个性化体验需求。

6、落选秀逆袭终获首发，28岁红雀近端锋沃科莱克因颈伤被迫退役

乒乓球桌只是展台的一角。

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

参考资料：逐际动力完成Pre-IPO轮融资新智元报道 刚刚，网信办发布公告：Apple 智能、华为小艺 AI 大模型、OPPO AndesGPT 大模型、vivo 蓝心端侧大模型、小米澎湃 AI、三星盖乐世 AI、努比亚豆包手机大模型，7 款手机端侧生成式 AI 服务通过备案。

7、比国足出线还复杂！韩国队想晋级有多难？得看几位亚洲兄弟脸色

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

从实验结果看，这一设计补齐了长程导航中「错误经验缺失」的问题。

8、中国羽毛球公开赛：国羽单打4战1胜3负，韩悦出局，男单无缘四强

数据主权不等于认知主权 当前大多数所谓的「主权AI」方案，关注的是几个问题： 数据是否留在境内； 模型是否私有化部署； 计算资源是否自主可控； API 是否经过安全网关； 企业是否能够选择不同模型。

作为国际知名的机器人与生物医学工程学者、加拿大工程院院士、IEEE Fellow，孙东局长深耕机器人自动化领域三十年。

拿到一个看不懂的复杂回答，他让模型解释给10岁的孩子听；如果还是绕，就让它解释给5岁的听；再不行，解释给2岁的听。

但方向很清晰——未来每个打工人，都应该有一个真正懂自己的AI助理。