其中，叠盒封胶组合式长程任务成功率超过90%，集中体现了模型在多步骤任务规划与连续稳定执行方面的能力。

1、kaiyun官方 「人类最后一届」菲尔兹奖？ 4个半小时，击碎30年悬案；5天，连破6道难题。

也正是因为有着足够明确的结果，AI Coding的商业价值，其实更容易衡量—— 到底提升了多少效率、节省了多少成本、究竟值不值得用户去买单，这些都变成了一笔能算出的《清楚账》。kaiyun官方闫博文介绍，拓元全面兼容昇腾、昆仑芯、天数智芯、太初、瀚博半导体、摩尔线程、沐曦、燧原等10余种国产算力芯片，适配20余个主流模型，实现国产异构算力池的统一调度与推理加速，每日Token吞吐量达千亿级别。

2、中超最新积分榜：成都蓉城率先突破40分，泰山队第4，倒数2队输球

循环双覆盖猜想，通常被追溯到Tutte、Itai 与 Rodeh、George Szekeres、Paul Seymour等数学家在上世纪陆续提出，长期被视为图论中最重要的开放问题之一。

3、小罗谈梅西：39岁扛起阿根廷冲进世界杯决赛，没人有资格再质疑他的伟大

但AI加入之后，流程变短了。

4、转会窗：尤文新援埃卡托伤缺至少15天，二队小将租借加盟阿贾克斯

它的记忆组织有两个视角。

5、蓉城三大外援成软脚蟹了！韦世豪情绪管理太差了，球迷：约翰冒充职业教练

Fable 5和Mythos 5同时落地，Sonnet 5降价抢市场，Claude Code几乎日更。

下一分钟就要调整工件姿态、完成装配，再把空料筐搬走。

马斯克在推“太空光伏+太空算力”——太空光照时长是地面的三四倍，散热问题一旦解决，单位的算力成本可能比地面更低。

6、ECB公布2027灰烬杯完整赛程：男队6月18日特伦特桥揭幕，玫瑰碗首次承办

Mind Lab想造的，是一台经验智能机器——模型离开实验室之后，仍然在真实世界里持续学习，越用越聪明。

但过去多数企业，往往只具备其中一项能力。

7、大连休整2周，有助阿利米+毕津浩养伤 小德踢泰山回避 态度决定上限

被AI改写论文的Isaac Rajagopal，在Gowers的博客里专门写了一节，解释模型到底想出了什么。

要理解这两点，不妨来完整看一下整个行业围绕「大脑」的这场激烈争夺。

8、广觅合作新机 瓜州多元产业组团亮相兰洽会

小模型看的是机器人「能不能天天工作」。

同时，中兴通讯也展示了其AI健康医疗方案，并摆出了几个具体数字——体检报告生成效率提升10倍以上，一份HTA（卫生技术评估）报告能在1到5分钟内产出，心血管辅诊在万例临床验证里准确率达到96%。

在社交媒体平台流出的录音中，张小龙还讲述了自己如何用AI辅助炒股，他提到5月将8000万现金投入股市，挣了5300万。

9、3200亿美元打水漂？印尼迁都梦快醒了，中国经验不是谁都能抄

一台人形机器人站在狭小的货架前，听完观众下的单，从一排商品里精准挑出目标，稳稳递到取货台。

手术规划环节，「超级医生」同样能提供完整辅助。

10、纽卡3000万镑锁定20岁中场班巴，今日体检填补托纳利空缺

他们又把引用过该猜想的所有349篇论文扫了一遍，确认此前从无人发表过这个反例。

7月17日至20日，2026世界人工智能大会暨人工智能全球治理高级别会议（WAIC 2026）在上海世博、张江、西岸“三地四馆”同步启幕。

1、苏超论见｜看常泰之战，实质是看“功夫足球”

此外，他们还测试了更多前沿的模型，包括GPT-5.5、Claude Sonnet 4.6以及Gemini 3.5 Flash。

2、王牌主帅抗议时脚下一滑直接倒地，起身后继续跟裁判理论

2026年3月，阿里通义千问领军人物林俊旸突然离职的消息，仍在业内引发讨论，也让AI主帅对大厂技术竞争力的决定性作用，被前所未有地放大。

3、三狮渡劫，凯恩向金球奖又进一步！

这也恰恰呼应了Founder-Market Fit的逻辑。大连有奖发票活动有调整！执行可预期、依据可验证、边界可识别、问题可追溯——这就是StaffDeck希望赋予每一个Agent数字员工的职场素养。

4、18岁3000万镑！切尔西领跑新星争夺，世界杯远射后身价飙涨

但在传统大模型中，知识存储与逻辑推理高度耦合：模型不但无法充分利用已有知识进行推理，而且每接入一个新学科，都可能扰动已经形成的通用能力。

5、西班牙1比0力克阿根廷再夺世界杯 全国球迷街头狂欢彻夜不眠

苏度的工作，是让机器人可靠地打开冰箱、取出多种原材料、打开柜子拿锅、操作灶具或微波炉，在任意房间和厨房中，对不同物体实现99%+以上的操作成功率，并将多个技能串联成同样高可靠的长程任务。

6、若瓦内·卡布拉尔自由身加盟格雷米奥，签约一年半

“那些没有调改的门店收入大多同比下滑。

图片由AI生成 双CMO金牌得主刘涵祚看完后这样评价： CMO金牌得主汪千桐也给出了相似的结论： 在他看来，dots解题简洁明了而且直击本质。

” 这也是一个关于极致“韧性与理性”的故事。

7、新华社探访白俄罗斯“亚麻城”，看一根亚麻如何织就中白合作新图景

这种能力同样是普通机器人所不具备的。

为此，镁伽科技尝试让实验室里的仪器和机器人像电脑外设一样被控制，再将模型、自动化实验和数据反馈接成闭环。

8、西班牙加时赛破僵！托雷斯爆射破门，复刻伊涅斯塔，决赛破门第二人

ChatGPT Voice在桌面端可以一边跟你说话，一边在后台操控电脑、指挥多个Agent各干各的。

（图源：Simons Foundation） 今年5月，他在斯坦福讲完《新数学工作流》后，曾在Mathstodon上宣布改变自己的工作习惯：不再试图实时跟进所有新证明。

传统互联网时代的核心是信息，移动互联网时代的核心是应用，而Agent时代，核心是任务。

编辑：所罗门新智元报道 刚刚，Anthropic和OpenAI同时放出了语音模式大升级！ Claude这边，从只能跑Haiku升级到Opus 4.8和Sonnet 5全系列，不仅能在对话里调Gmail、日历、Slack，还扩增到11种语言，但没有中文。