刚刚，OpenAI研究院Ethan Knight宣布： 昨儿刚出的GPT-5.6，用不到一小时，就完成了一道存在了半个世纪的图论猜想证明。

1、乐鱼APP 基于OEX加dOCS架构的国产高性能Matrix超节点方案，同期拿下了本届大会的SAIL奖，这是中兴通讯连续第二年拿到这个奖项。

2.一个不良资产就像一艘船漏水。乐鱼APPAnySearch则实现范式升级，搜索前依靠意图路由匹配垂直数据源，搜索阶段完成前置筛选，最后输出结构化内容，真正把搜索当作Agent的基础设施去打磨。

2、月之暗面据传已在筹备上市

有统计称，截至今年初，全球高质量真实物理交互数据总量只有约50万小时，不足LLM训练数据量的两万分之一。

3、Coffee Chat、黑客松与AI社区，科技圈为何也爱社交？

打开摄像头。

4、【CBA联赛】季后赛12进8G2｜2-0挺进八强！浙江稠州金租83-81胜宁波町渥！

“千问开源做得最好，数据颗粒度很细，像一些PDF、网页，都能拆得很细；智谱的底层数据也做得不错。

5、【提醒】7月28日起，S75侯平高速这段路分阶段封闭施工，注意绕行

但所有机器人都需要看得清、想明白、做准确，因此“眼脑手”是可以跨本体使用的标准组件。

” 但AI给你一段看起来很确定的话之后，心理门槛就变成了“既然它都这么说了，那我也可以答。

” 未来AI进化的方向，或许不只是要让AI回答得更快、更像人，还要让AI学会更诚实地袒露不确定性； 当证据不足、问题依赖视觉细节、实时信息或专业判断时，AI应当主动告知用户这个答案不可靠，而非强装无所不能。

6、相比于50/2Air，唯卓仕55/1.8EVO强在哪里？

当前灵巧手正在走向成熟——它能否真正胜任实际任务并跑通商业闭环，很可能成为具身智能领域的一个重要里程碑。

现在它已经在Slack群里摸着鱼就把30年悬案给结了。

7、关注｜八十载匠心汇聚，YONEX新品发布合作伙伴会议在沪举行

这么说吧，PuduFM是让机器人「变聪明」，PuduAgent负责让机器人「把聪明用起来」。

首先要寻找现在看起来默默无闻的nobody，未来是somebody的人，尤其是厉害的年轻人，比如清华的天才少年、国外名校回来的PI（Principal Investigator，首席研究员）、大企业里出来的中高管等。

8、手机网易网

这些能力共同构成了模型训练、仿真验证和量产部署的完整链路，让系统不仅能够持续学习，也能够更快适应新的环境。

我们投的多是很小的公司，只有它未来能变得足够大，才有退出机会。

就像避雷针的顶端汇聚了整个电场，它们平日优哉游哉、按部就班地行进，却在一个决定一切的时刻，无法逆转的、或早或晚的时刻，聚集在一起。

9、时隔十年再访成都，东盟副秘书长萨特温德·辛格点赞城市活力与AI应用

商汤在AI基础设施这个领域，已经摸爬滚打了九年，是布局最早、也最懂大模型的服务商之一。

另一个是，生成答案和检查答案最好分开。

10、商业地震！41岁老詹太恐怖！票房暴跌！湖人后悔吗？

这种“计算换带宽”的实现，背后对应着TeleAI提出的信容律：通信资源与计算资源可以在一定条件下相互置换。

AI给不了的经验，这群人来补 云资源解决的是产品怎么跑起来，导师解决的则是创业者接下来往哪里跑。

1、官宣！男篮14人名单！赵睿领衔，郭士强主动调整8人，庞峥麟落选

当前灵巧手正在走向成熟——它能否真正胜任实际任务并跑通商业闭环，很可能成为具身智能领域的一个重要里程碑。

2、原来 Supreme 店里还卖这些牌子？很多人都不知道…

在一条关于数学研究中有趣反例的问题下，他就讲了这个猜想。

3、中国乒协：试行为会员提供购票观赛服务

任务路径越动态，CPU与NPU之间的协调就越重要。文班亚马：钱让球队潜力难兑现，是马刺夺冠最大障碍对于运动，她每周要锻炼四五个小时；但对于数学，这个时间就不好说了。

4、王虹、邓煜获菲尔兹奖 中国数学实现历史性突破

随之而来的问题是，接收端生成的画面还可信吗？ 生成式模型参与视频重建后，通信系统需要同时面对视觉质量、语义准确性和任务有效性三个问题。

5、美记：掘金正在积极兜售齐克-纳吉 愿意付出次轮选秀权

在材料科学领域，Intern-S2-Preview-397B 同样展现了强大的决策支撑能力。

6、引公愤！国际篮联向中国男篮道歉啦

即使进入弱网甚至无网环境，机器狗依然能继续识别目标、规划动作，保持跟随。

而在这两段Demo背后，则是面壁智能在WAIC期间正式发布并开源的MiniCPM-Robot系列模型。

所谓全双工就是，模型能够同时处理输入和输出音频流，并且每秒做出几十次判断，不用等你说完就能回应。

7、CBA最新消息！中国男篮官宣两人离队，篮协介入赵柏清签约调查，广东旧将加盟江苏

团队中必须同时具备多种强背景：数据理解、仿真搭建、物理解算、渲染、机器人系统、硬件设计、操作系统……这些能力很难集中在一两个人身上，也不是简单招人就能补齐的。

如果按照传统方法处置，需要等待波形与历史事故足够相似，但这时风险往往已经逼近。

8、百年绝版！世界杯4强创造纪录：4个夺冠剧本 全是封神之路

一边讨论科学智能能够走多远，另一边继续追问它怎样稳稳地进入现实。

具身领域确实还有很多Research可做，但传统意义上的学术研究机会正在逐步收窄。

讯飞最硬的家底，其实就藏在文章开头那个场景里，机器人动作慢，是因为怕出错、跨不过实用门槛。

硬件侧以GΞLIX 1为核心；软件侧覆盖大模型、优化后的Runtime、完整工具链，以及连接模型、工具、设备和服务的Agent编排层；在此基础上，公司还提供面向典型场景的Agent参考设计，帮助开发者和生态伙伴更快构建应用。