参考资料： https://x.com/Mr_Salio/status/207736089707741624811 https://x.com/emollick/status/2077849021150888408 https://www.bloomberg.com/news/articles/2026-07-16/google-gemini-launch-delayed-as-tech-falls-short-of-internal-goals 编辑： Aeneas新智元报道 全球迄今为止最大的开源AI模型，正式上线！ 昨夜，月之暗面（Moonshot AI）放出了其最新旗舰模型Kimi K3，目标直指超越Claude/ChatGPT。

1、天博官方 第三场：让机器人在梦里摔一万次 真机太贵，能不能让机器人「在梦里练」？ 摔一万次不砸真杯子，复制几千个厨房不租真房子。

对要在有限算力下支撑成百上千人并发的大型企业，这不是锦上添花，而是生死线。天博官方具身智能博览会按机器人「爆炸图」拉开五大展区，铺满50,000+平方米，供需1V1精准对接、现场签约、出海专区一应俱全。

2、阿德耶米：梅西一直是我的偶像；相信会和亚马尔建立良好默契

接着是执行。

3、禁赛三年！知名少帅重蹈李楠覆辙 被利益熏昏头脑他本有大好前程

这正是长程导航从「规划正确路线」走向「真实闭环执行」时面临的核心问题。

4、郑钦文遭克娃横扫无缘美网正赛资格称状态差，网友：最扎心失利

3.5 Flash-Lite，击败了老大哥 第二款Gemini 3.5 Flash-Lite，走的是另一条路：主打一个快，还要够便宜。

5、最新公告！湛江对阵广州比赛，延期！

简单讲，同样一堆芯片，别人只能榨出五成，它想让你榨到极限。

更进一步，它还把这些关键致病位点，在3D蛋白结构图里逐一精准标注了出来。

所有的环境适应工作，仅仅去更新一个极轻量级的快速权重 。

6、光因科技温言杰：钙钛矿当前的细节难题都能借助AI4S解决

但它最关键的属性不是性能，是接口。

截至目前，中国队在国际数学奥林匹克（IMO）中已取得197枚金牌、37枚银牌和6枚铜牌的优异成绩。

7、CBA官方FMVP榜：古德温29.03领跑接近获奖 李弘权压张镇麟第二

这意味着它不再是「问一句答一句」，而能自己把活儿往前推，甚至设成每天定时跑的任务。

这是Chloe亲口承认做过最难的一个视频。

8、投其所好！热火用一筐零食欢迎字母哥，阿德巴约评论区搞笑调侃

9项任务8胜1负！ 不过，比成功率更能说明问题的，是另一把尺子：泛化保持率。

归根结底，能生成，不等于能交付。

过程中，GPT-5.5读到了公司资产表里一笔「给Marcus个人账户的3.5万美元咨询费」，也读到了律师白纸黑字的叮嘱：我签字确认最终数字前，不要给投资人发通知。

9、上半场4球+下半场6球！1场10粒进球，英法大战踢出最疯狂季军赛

ABot-ER取得3项SOTA，并登顶数十家机构联合发布的Embodied Arena 2D-EQA AgentOS则将规划与执行从本体中解耦，通过插件式Skill接入，让同一套系统能适配各种异构机器人。

明令禁止angle += speed。

10、广东队买断王少杰意义不大，球迷推荐深圳大外援巴吉、浙江队琼斯

• 无需从头训练：作为后训练框架，可以基于已有VLA模型继续优化，降低数据收集和训练成本。

第二道槛：从对话框到工作台 钛极的能力再强，缺了工作流承接，它还是一个聊天窗口。

1、隐于幕后，“质地”有声，NOWNESS GALLERY新品呈现

AI领走了埃尔德什的赏金。

2、CBA最新消息！辽宁山东放弃所有外援，同曦举报赵柏清，媒体人为曾凡博鸣不平

Glenn Fiedler 两周内修复了 43 个安全漏洞，其中 27 个可从网络远程触达。

3、森保一信心十足！球迷：压力给到了巴西队

今年6月，两家海外Cloud公司各自提出的解法，与无问芯穹隔海共同呼应了「Agent时代到底需要怎样的AI基础设施」这个命题。Sub132的八名女跑者，定义上海女子半马的她力量他押注的大概率不是一款叫GPT-6的新模型，而是一次更彻底的形态切换：让AI从「回答问题」，正式变成「替你干活」。

4、《成都声明》在APEC数字和人工智能部长会议达成

step-saving reward 直接把「更短、更直接的成功轨迹」写进优化目标。

5、佳明最新数据报告解密：跑步距离与睡眠得分正相关，跑步能明显降低静息心率并提升最大摄氧量

如何在保证强劲动力的同时，实现极致的轻量化，是一个持久的命题。

6、张家界596分少年曾许下心愿想改造老家、给妈妈换新手机，爱心人士帮其完成心愿

AI 桌面助手：在授权范围内操作网页、读取文件、连接飞书和 Office，生成文档、表格、PPT、H5 页面等让智能体协作跨出对话框，直接在用户的工作环境中完成任务、交付结果。

一个值得注意的细节是，丰田在海外市场并未大力布局纯电，但当他们开始行动时，也找到了小象电动，开始探讨这方面的布局。

年级对不上、跳掉了课程里关键的一环、或者讲法跟学校选定的教材不是一路子。

7、浓眉交易彻底凉了？Shams曝勇士谈判停滞，詹眉联手勇士基本没戏

在单位圆上随便取一串复数当零点，乘成多项式，这个多项式在单位圆上的最大模Mn，能不能保证在无穷多个n处超过n的c次方。

参考资料： https://x.com/pankajkumar_dev/status/2078536231026372846 编辑：桃子新智元报道 科研人苦等多年的AI搭档，终于来了！ 就在WAIC现场，中科闻歌磐石（ScienceOne）团队一口气亮出两张「王牌」—— S1-Omni：首个面向「科学理解、预测与生成」的科学多模态统一推理模型； ScienceOne：以S1-Omni为核心、贯穿科研全流程的一体化平台。

8、0-2 旧仇难报！15 亿法国豪阵碾压，残阵摩洛哥拿什么复仇？

这个分寸，就是整个项目最关键的工程判断。

此芯科技，一家成立于2021年、专注自研高性能智能体CPU的公司，在上海举办了一场以「芯聚无限 智启新元」为主题的发布会。

他在文中写道，人类「基本上找到了让沙子思考的办法」，我们正站在「奇点的山脚下」，AGI「大概只有几年之遥」。

与此同时，ICLR 2026投稿量也逼近2万篇。