当他的几个Claude在Loop里写代码时，它们会自己跑到Slack上，跟同事的Claude聊天，对齐那些谁都还没想明白的地方。

1、博鱼手机 哑光纸盒、烫金字、薄胎白瓷、胡桃木桌、袅袅茶汤蒸汽——五种质感堆在一张图里，任何一处露出塑料感就废了。

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。博鱼手机经过一轮硬核基建打磨，沙箱反馈错误率压到了2%以下，训练崩溃频率降了约一个数量级。

2、6×6+独立悬挂，军工背景的越野卡车！俄罗斯BAZ S36A51卡车听说过没？

一张8K的图摊成token，足以把上下文直接撑爆。

3、为什么好多人不买“一楼”了？过来人说真心话：入住后一言难尽

当然，必须指出的是，这次AI证伪的是三维雅可比猜想，也就是否定了「所有维数都成立」的广义版本。

4、聚焦人、动物、环境协同健康！王红宁院士规划成都新中心，撬动千亿产业

这就导致在「按5次按钮」的任务中，当机器人按完第1次，准备进行下一次推理时，它的大脑是完全空白的。

5、深耕新材料技术与装备 孙以泽院士：碳纤维复合材料将走进千家万户

现在，谷歌亲自下场了。

10月，全球开发者先锋大会（GDPS）暨国际具身智能技能大赛接力登场，正是这条链路上的下一站——「七月展成果，十月看未来」。

设想你问它：「上个月我参加过几场跟艺术有关的活动？」一个靠相似度检索的系统，一看到「艺术」两个字就兴奋起来，把你聊过的「班克斯的街头艺术」「那场关于希腊艺术的讨论」一股脑捞回来。

6、让冰箱扩容50%！10件逆天平价神器，收纳瞬间多1㎡~

但AI提出了一个非常有价值的见解，帮助他解决了这个卡了半年的问题。

一个仓库，钓出一条大鱼 事情要从两天前的一份报告说起。

7、金刚狼新预告实锤：琴·葛蕾成官方恋爱线，但玩家担心又搞“发刀”套路

清程极智联创师天麾打了一个绝妙的比方：国外的vLLM就像是西方人用来烤面包的「烤箱」，那是为英伟达量身定制的。

最底层是「训练与仿真环境」，以世界模型ABot-World和3D世界模型ABot-Earth持续提供仿真和训练。

8、这5种空调为什么突然没人买了？时代淘汰谁也逃不过，别踩坑了

今天，AI只是被用来编造一座孤儿院、骗取一笔善款。

泛化涌现是指，它开始在没见过的任务面前，凭底层逻辑把事做成。

她的逻辑冷得可怕，「这场变革不是设计圈自己发起的，是工程侧倒逼的」。

9、世界杯决赛前瞻：8大重磅看点！阿根廷誓破4大魔咒 西班牙冲38场不败

利用国内夜间闲置的算力，通过赤兔引擎高效生产Token，再经AI Ping路由，通过合作伙伴卖给海外开发者。

二维版本早在1884年就被提出，当时还附带了一个后来被发现存在漏洞的证明。

10、周星驰《功夫女足》3天已破6亿！打破影史纪录，喵眼预测破30亿

此外，上海中学多名校友已成长为数学家。

这些东西，参数堆不出来，算力也砸不出来。

1、在上海金山，完成人生第一个铁人三项。

作者团队关注视频生成模型推理优化、视频世界模型、软硬件协同加速等方向，涉及KV缓存管理、稀疏注意力、GPU算子优化等系统问题。

2、非必要不出门！影响绍兴！

谁也没想到，真正的风暴，其实来自大洋彼岸。

3、不是30分钟！官方：世界杯决赛中场休息最多17分钟 中场秀11分钟

支撑「用得起」的，是一个此芯自己敢喊的数字：国产唯一实现单Token能耗降低50%以上的SoC+NPU一体化方案。扎心对比！CBA新科状元签价值数百万被哄抢&24届状元谢智杰遭兜售负5小时，被翻译成了一整天。

4、人民日报锐评仅3天，LV上海大秀名单流出，王嘉尔刘亦菲被牵连

在3大内部知识工作基准中，K3超越Claude Opus 4.8（max）与 GPT-5.5（xhigh）: 这标志着 Kimi K3 在智能体知识工作能力上全面进化，实际应用更强大、更可靠。

5、足坛一夜动态：中国U19溃败，克罗地亚0-2比利时，摩洛哥4球大胜

Scott Shambaugh是matplotlib的志愿维护者。

6、没有并列！姆巴佩同样打入6球，但世界杯金靴之争已领先梅西

新智元报道 北京时间今天凌晨，时隔16年，西班牙人重新举起大力神杯！ 而在为这一刻欢呼的同时我们发现，今年的美加墨世界杯，除了踢球的、看球的，还有一群「数字选手」也格外忙碌—— 那些顶着几十亿参数，一路疯狂推演、预测的AI大模型。

第一问，Wagner在1980年拿下。

Bloom是第一个给出实质评价的人。

7、哈尔滨都市圈西南环项目主线工程顺利贯通

目前，「晓满」已在烧卖购、快客达、中石油便利店等真实场景中运行，靠每日的交易与货架数据持续自我进化。

现在它交给你的，越来越接近一个能连上你的数据、自己跑起来的应用。

8、最败家富二代濒临破产？800亿地产豪门，快被接班人卖光了

网友直接说：「荷马会对这个作品感到骄傲！」。

它不再一口气把图吐完，而是把创作拆成一套动作空间：生成、编辑、局部重绘、组合。

通用Agentic，从「会调工具」到「能扛业务」 写代码只是Agentic能力的一半。

协助欺诈。