智谱、DeepSeek、字节等的缺席与隐身并未削弱观众对其行业影响力的关注。

1、大圣体育 其中第6问，要求数学家们将物理架设在严格的数学公理体系之上。

大模型推理走向端侧，高算力、低功耗、易部署芯片成刚需 随着大模型从云端全面向端侧迁移，端侧AI迎来爆发式增长，各类终端设备逐步具备自主记忆、智能检索、逻辑推演、自主任务执行的全流程能力。大圣体育他们却都在说，菲尔兹奖到头了。

2、新晋菲尔兹奖得主，当天宣布加入OpenAI

2026年3月，华为诺亚方舟实验室主任、华为盘古大模型负责人王云鹤宣布离职。

3、上海二工大“杀哥”事件，当代大学课堂：上课有风险，管教需谨慎

实际上，调改过程中过于关注数字，反而容易焦虑。

4、“你女儿都长胡子了！”宝妈连发9条视频炫耀女儿吃水果，反被嘲

实际上，我们做完系统，有两个业务单位是比较难受的，一个是楼宇，一个是工业技术，都是to B业务板块。

5、上海和WAIC，迈出“超前一步”

智能体层：内置200余个跨学科专业智能体，能够自主拆解复杂科研任务。

但和现场的投资人、产业方多聊几句，会听到同一种疲惫：看了太多Demo，听了太多参数，真正签单进厂的，太少。

发布会上还同步发布了《因果世界模型技术体系蓝皮书》，内容涵盖了很多中数睿智公司对AI在复杂场景产业落地的思考与实践，值得一读。

6、11轮造对手4红牌！泰山队要小心“黑马”的冲击，两大核心很关键

猜想说的事儿可以这样理解：在一类特殊的网络图里，有两个指标——一个衡量节点之间「关系的紧密程度」，另一个来自数学上更抽象的「距离矩阵」。

两种「脾气不一样」的任务，本来就不该塞给同一种硬件干。

7、末世百合《鸢之歌：归途》旅程再起！Demo正式上线

目前，他们已落地进入500多个家庭，是最早进入真实家庭环境并实现商业化使用的机器人公司。

Fable 5，前几天刚刚证伪了87年历史的数学雅可比猜想；就在今天，GPT-5.6 Pro证伪了图论领域三十年猜想——Dinitz-Garg-Goemans；北大数院华人校友，使用GPT-5.6 Sol配Codex，五天破解了6大Erdős难题。

8、AMD 发布 X100 机器人芯片，号称性能碾压 Intel，但对比数据需“加一大勺盐”

最终答卷则由来自不同国家的IMO评审员，按照正式标准进行审阅。

在高通量效率上，平台模拟可一键生成上千个虚拟样本，将十年的社会演变过程压缩至14小时。

高二拿下中国数学奥林匹克（CMO）金牌，随后以全国第二名的成绩入选国家队，并在2006年代表中国夺得国际数学奥林匹克（IMO）金牌。

9、李梦公开亮相！谈Project B联赛，起薪1300万，或拿6000万大合同

这就是早期投资的现实：标准再高，也很难一枪命中。

△图片AI生成 用户能看到的只是水面之上的API接口，水面之下是厚厚的算子库、编译器、运行时、驱动层，以及围绕这些核心组件的调试工具和性能分析套件。

10、最没用的7件卧室家具，白送都不要，看看你家占几件？

对于人类司机来说，这依赖多年驾驶经验：什么时候进入？什么时候等待？什么时候让行？ 很多时候并没有标准答案，而是建立在对其他交通参与者行为的持续判断之上。

再来说说生态的打通。

1、冠军凯旋！西班牙全队已返回马德里，队长罗德里机场高举大力神杯

极其聪明，却一动不能动。

2、门将连锁交易：马丁内斯接近尤文促成铃木转会阿斯顿维拉

也许下一个被几万人用起来的AI小工具，就出自你手。

3、特朗普再度攻击北约关系，欧洲对美信任已跌至低谷

值得一提的，每个人所有的作品，都能在这里实现一站式轻松管理。男篮被逼入绝境！末轮生死战赢球才能出线 杨瀚森能否找回状态眼看清，脑想明白，手落地执行，三件套凑齐，机器人真正具备了干活的完整能力。

4、231㎡透天静宅：把自然与温柔色彩，揉进日常烟火！

关键在于，三条便宜路两两冲突。

5、退赛许久的全红婵，因2个男人再火出圈，原来她和黄子韬是一路人

也就是说，Jacob是在数学「大年」里、从最强一届对手中胜出的人。

6、做个小程序，长期总成本到底要多少？

在训练过程中，为了提高任务成功率，团队还引入真机RL（强化学习）迭代机制，当任务失败时引入专家遥操接管，对复杂动作进行微调纠正，让VLA策略持续变强。

量子位：要实现物理AGI，数据还需要增长到什么规模？ 丁文超：这会逐渐演变为一个长尾问题。

借助仿真器提供的梯度，团队为一条六节仿生机器鳗优化出波浪式游动，以及鱼类受惊时的C形快速转向动作，并成功迁移到真实硬件。

7、CBA速递！广东积极寻求得到林葳签约权，山东男篮兜售谢智杰，南京签约李玮灏，李云开重返CBA

美国天然气库存用的是EIA 7月9日刚发布的最新一期，欧洲电价甚至追到了7月12日的日前交割价。

目前，PPIO 已深度融入全球 AI 开源生态，与 GitHub、Hugging Face、OpenRouter、vLLM、SGLang 等主流开发者社区建立合作，与数十款主流 AI 工具完成生态适配，为中国 AI 企业出海提供从底层算力到上层生态的全链支撑。

8、Agent拉爆算力？中国杀出新物种：日冲10万亿Token，还赚钱了

若进展顺利，豆包将于三季度结合电商功能，更新完善付费场景，并通过补贴为抖音商城进行引流，四季度进入运行期。

他们不会为了做出一个fancy的Demo交付而牺牲底层架构的完整性。

AI圈的摩尔定律来了 Anthropic创建了个全新的衡量维度，叫「AI能独立完成的任务时长」。

以前一直想着扩张，做出规模效应，没想到规模有了，反而暴露了我们管理上的短板，就像东来哥一直说的那句话，欲望比能力大。