一个在前台喊话，一个在后台改账本。

1、ob体育 国产化进程也在提速。

DeepSeek V4-Pro 在窄任务上对标 Opus 4.5，差距 5 个月。ob体育新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

2、中国青年队2比1逆转战胜日本队打入亚青赛团体决赛

第一步，建一个上下文文件夹，比如叫fable-workspace，当作它每次开工前必读的「单一事实源」。

3、中国女排2-3意大利，赛后评分，李晨瑄打疯了，可惜最佳不是她

它指出企业需要积累AI能力，却还没有完全回答这些能力到底以什么形式存在、如何被管理、如何被验证、如何被更新，以及如何防止它们依附于某一个模型供应商。

4、弗洛伦蒂诺承诺：两大重磅新援即将加盟皇马

而现实已经给出了警示：OpenClaw官方技能市场ClawHub上已被查出上千个恶意Skill，仅2026年针对OpenClaw披露的CVE漏洞就超过一百三十个，凭证被窃取、数据被静默外传的事，正真实地发生在生产环境中。

5、风流成性！和小21岁女友高调秀恩爱的陈思诚，证实佟丽娅的评价

用户进来面对的都是这样的同一套界面。

大会以「开发者，找找找」为题，赛事、Workshop、沉浸式体验三线并进，集聚100+科技大咖、200+创业科学家、500+头部科技企业。

几乎同时，另一组截图也开始传：Codex客户端里用户实际能用的上下文，从约372k退回了272k。

6、阿森纳官宣4000万欧签下希腊边锋齐托利斯 签约5年披枪手战袍

重启后扫一眼，进度立刻回来。

一边是Gemini三连发，一边是Gemini 4开跑。

7、科普｜看懂MTF50标靶跑分数据

它更像你身边的一位科学导师，能自主拆解复杂需求，智能调用最适配的专业技能与工具，替科研人精准啃下每一个环节的硬骨头。

几十年后再回望此刻，我想我们会意识到：我们当时正站在奇点的山脚下，说这是人类新纪元的破晓，毫不为过。

8、NBA保障薪资榜曝光：布克和库里一样领5亿顶薪 库克凭啥和库里一样

但在第三方综合测评Artificial Analysis上，Gemini 3.6 Flash得分与3.5 Flash完全相同，表现不如 Meta Spark 1.1、GLM-5.2、5.6 Luna、Sonnet 5、Grok 4.5、5.6 Terra…… 有网友发现它的知识截止日期实际上并未更新到它所声称的时间，直言： 这是一个未完成的模型。

然而，谷歌正准备悄悄投降。

三类专家均可申报：学术领军人才，正高级职称、10年以上研究经历，RSS/ CoRL/ ICRA/ IROS等顶会论文或国家级重点科研项目；产业技术领袖，知名企业技术总监、首席科学家、技术VP及以上；技能大师与行业工匠，世界技能大赛金牌、阿尔伯特·维达大奖、国家级大国工匠、全国技术能手，20年以上一线实操经验，用手和眼检验过千万次精度。

9、记者：詹姆斯希望无论他签约哪支球队，都能得到赞扬和认可

这些企业路径不同，但都指向同一个判断：机器人未来的核心，是AI能不能通过这副身体理解现实世界、适应现实世界，并最终改变现实世界。

为什么是5个万卡而不是1个10万卡？因为商汤面向的是第三方市场——大语言模型、视频生成、具身智能、世界模型、AI for Science，这些任务对硬件的要求完全不同。

10、智元机器人已启动赴港IPO流程

第一步：gcd(12,18) = 6，lcm(12,18)/6 = 6，黑板变成[6, 6]。

应该聚焦在数据、场景这些需要深入耕耘的领域。

1、封面来了！马林：羽坛“斗牛士”最后的倔强

编辑：大卫 所罗门新智元报道 站会还没开始，故障已经快排查完了。

2、啊这！！交易12天0沟通！都等对方主动啊！

它是整个领域的基石，这篇论文至今已被引用超过13万次。

3、8年狂赚4600万！曝上海男篮4年顶薪续约张镇麟，堪称今夏大赢家

发一条Slack消息、更新一个issue，这类会真去改动外部系统的操作，能做成一个按钮直接放在页面上。「月泉仿生」获数亿元融资，仿生拉压体灵巧手万台量产、订单过亿｜36氪首发当芯片、网络和业务流量被端到端打通之后，优化的触角自然会伸到一个过去大家不太关注的地方——电。

4、主持人逼问张晋：你老婆陪刘銮雄6年！张晋教科书回答让全场闭嘴

WAM-TTT的自监督视频预测技术，直接从这段人类玩耍的视频中提取特征。

5、拒绝哈登！错失布朗！火箭管理层盲目自信，杜兰特离队或迎倒计时

它承担的角色更接近于一名「评分审计员」，负责检查分数是否能够被评语合理支撑。

6、火箭大胜湖人 挽救了一个赛点 乌度卡做了哪些调整效果显著

也有网友说，挪威对1到7年级近乎禁用生成式AI，才是明智之举。

超维动力给自己的定位，从来不是一家单纯的机器人公司。

参考资料： https://www.kimi.com/blog/kimi-k3 https://x.com/testingcatalog/status/2077759985761554501 https://x.com/chetaslua/status/2077701096924229744 编辑：大卫新智元报道 2026年7月的上海，黄浦江畔热浪滚滚，但比天气更火热的，是在上海世博展览馆拉开帷幕的2026世界人工智能大会。

7、沈阳外卖八件套，吃不到的人都馋哭了

过去一年，这个领域最热闹的是视频生成，比谁的画面更逼真、更长、更一致。

GPT-5.6狂刷136分 IQ首破「天才线」 这个「智商」，含金量有多高？ 实际上，Tracking AI手里有两套题。

8、记者：米兰与特鲁瓦后卫迪亚瓦拉谈妥个人条款，只待细节完成

正如邵天兰所说——出海不仅仅是一项任务，更是一种能力。

所有处理在本地完成，数据不上传云端，隐私有保障——代价是，精度。

这也是为什么Karp能够比很多纯模型公司的CEO更早看到企业主权问题。

小哥用Qwen 7B作为微调底座，用DeepSeek的API作为网页端输出体验，也侧面证明了—— 中国AI模型真实的推理和输出能力，已经强大到足以被骗子拿来冒充「世界第一的万亿参数模型」，而不被普通用户瞬间识破。