红星新闻记者 昌娟 摄影记者 杨译焮 编辑 欧鹏北京时间7月23日晚，我国数学界迎来历史性时刻。

1、米兰体育 双方计划按照“单星验证—平台建设—星座组网”的发展路径，推进天地一体化AI基础设施建设，并提出到2030年形成由千颗级算力卫星组成、总算力超万P的空间智能计算网络。

据路透社同日援引相关文件及两名知情人士消息报道，中兴子公司中兴康讯电子、山东IT技术设施科技公司至索（Maginfra）均获准采购英伟达H200芯片；金山软件旗下子公司珠海横琴云翔智盛网络科技有限公司，则获批使用部分性能对标H200的AMD芯片。米兰体育Markdown渲染器的CPU负载降了14倍，长回复不再卡顿，每Token的流式渲染也不再触发整个侧边栏和工具行的重绘。

2、梅西均时速4.3km/h！英媒：相当于50岁人散步，这正是他智慧所在

博睿康招股书援引灼识咨询数据，到2035年全球脑机接口相关产品市场规模有望达到500亿美金，中国脑机接口相关产品市场规模也将接近千亿人民币。

3、2026年全国东西南北中羽毛球大赛 黑龙江鸡西大区赛火热开赛_网易订阅

国家发展改革委等三部门首次单独以 “智能体（Agent）” 为核心主题制定系统性政策《智能体规范应用与创新发展实施意见》（简称：《实施意见》），对智能体的定义、安全、应用、生态发展进行全面指导。

4、成都蓉城VS重庆铜梁龙：归化悍将坐镇中场 韦世豪领衔 5外援出击

不过，荣耀和阶跃不在名单中。

5、“狗娘养的”张和平！

最初的混元，走的是一条典型的“大而全”路线：先训练一款覆盖尽可能多任务的通用底模，再接入腾讯云和内部业务。

苏州研途教育科技有限公司成立于2016年1月，法定代表人康立，注册资本约920.9万元，经营范围包含教育咨询服务、招生辅助服务、信息咨询服务、自费出国留学中介服务等，现由康立、张姩菡、苏州研途伍企业管理合伙企业（有限合伙）等共同持股。

云知声、蜜度、第四范式、澜舟科技、特赞、滴普、博思云等亦展示了企业级智能体的操作系统、平台或产品。

6、新科菲尔兹奖得主邓煜：为中国数学进步感到鼓舞

而世界模型需要的是接触丰富、包含推拉拧拽等动作、涵盖柔性物体、摩擦力、流体等多样物理交互的真实数据。

而Halliday认为，真正有价值的帮助应发生在交流进行之中。

7、克鲁伊夫缔造了巴萨梦一，而后的梦二与梦三也在此基础上随之而来

其“基于蚂蚁灵波跨本体具身大模型的机器人智慧药房”入选大会十大“镇馆之宝”。

因此，AI编程不仅是大模型能力落地的重要场景，也成为检验模型推理能力和Agent能力的“试金石”。

8、深耕母乳研究，雀巢HMO科学实证与专利数双第一

在线学习又面临两个核心挑战，他继续展开，第一是层次化记忆建模，今天的Transformer建模短期记忆很优秀，但瞬时记忆（感知记忆）完全没有，长程记忆又分为情境记忆和语义记忆，对应着不同的机制。

▲用户对Inkling的实测表现不满意（图源：X） Thinking Machines Lab也通过案例展示了该模型在复杂任务执行、多轮迭代方面的能力。

“我觉得完全就看这个企业有没有乔布斯，有乔布斯了就可以苹果，没有乔布斯我建议就做兼容的模式。

9、台风“红霞”将登陆，国家防总派工作组赴广东协助指导

在此意义上来讲，吴克群、陆虎送出去的，不止是250吨西瓜，而是送出去一个希望、一种可能，让政府、企业、平台、消费者等联合起来，一起加入这张助农惠民的帮扶网络中。

同时支持创办智能体开发、AIGC产品创制等领域的OPC企业，提供全链条服务。

10、跟队记者：有一些小道消息说迪亚瓦拉可以进入米兰一线队

WAIC期间，启鸣达人在技术竞技、行业共建、成果输出多维度实现突破。

萌宠运动、清凉玩水、人宠互动、宠友社交……在位于成都世博园天府眼摩天轮正下方草坪，“毛孩子”将在夏日水花与趣味挑战中尽情撒欢。

1、4位前锋离队，火箭1号位却人满为患！阿门若改打前锋，阵容将更平衡

其根源在于Agent与传统软件在技术底座上三个本质差异： 首先是非确定性。

2、从“看不清”到“看得清”：屈光手术究竟在解决什么？

▲联影集团董事长薛敏 智东西：这次世界人工智能大会期间，我们看到联影隆重发布了“元医院战略”，可否为我们简单介绍下这项战略？ 薛敏：此次发布的“元医院战略”，是牵引联影集团未来发展的一项重要数智化战略，也是我们充分思考后，对未来医疗的一份构想。

3、64岁阿汤哥女儿苏芮出道，出演莎士比亚经典戏剧，将在7月31日和8月1日公演；苏芮在父母离婚后跟着妈妈生活，舍弃父姓

哪怕还用旧尺子量，格局也在改写。李小璐：塌房10年，终于后悔了华为公司董事、华为云CEO周跃峰认为，智能体将逐步重构传统SaaS生态，快速沉淀和共享MCP（模型上下文协议）、Skills等行业资产，是推动智能体规模化落地的重要步骤。

4、医生提醒：不论男女，腿上一旦出现这个标志，说明体内有血栓

但行业的强周期属性、客户结构对下游景气度的依赖、居高不下的估值水位,以及即将到来的限售股解禁,这些真实存在的变量,都不会因为一份漂亮的预告而消失。

5、突发：获鲁迅文学奖的 “外卖诗人”，被网暴了！

红利还能吃多久 对联讯仪器而言,接下来最大的变量,不是它自己的技术能不能追上,而是这一轮AI算力扩张的周期能持续多久。

6、哪位本菲卡球员加盟皇马，挪威中场主力信誓旦旦，与穆里尼奥有约

在企业最关心的安全问题上，Qoder打造了三层安全架构，覆盖事前企业策略层、事中安全运行时、事后审计治理层，通过正则校验、语义diff、跨文件分析、CI/CD拦截等多种手段把控安全。

简单来说，V9.5 负责把歌做得更自然，O3 负责让模型在交付前多看、多想、多修一遍。

对于企业而言，智能体能否真正投入使用，仍取决于任务完成的准确性、系统稳定性、安全合规能力以及与原有业务流程的结合程度。

7、司法部撤销对报道特朗普新空军一号的《纽约时报》记者的传票

在技术架构上，有开发者透露，K3不再沿用K2.6/K2.7 Code的MoE架构，而是采用了一种全新的架构设计Kimi Delta Attention（KDA），专为长程Agent任务优化。

结语：从AI研发投入到基础设施布局，Meta押注下一阶段竞争资源 随着大模型训练和推理需求持续增长，数据中心、计算芯片以及能源供应正在成为AI产业下一阶段的竞争资源。

8、诺奖、图灵奖得主在WAIC 2026说了什么？一文看懂

2024年12月最高法召开的一场发布会上，最高人民法院研究室主任周加海表示，在新就业形态下，判断企业与劳动者之间是否存在劳动关系，必须扭住劳动关系本质、核心特征，即是否存在支配性劳动管理。

Prefill阶段需要批量处理输入，算力需求集中；Decode生成阶段逐字输出、算力需求零散。

AI不再局限于一问一答的交互模式，而是具备自主规划、自主决策、自主执行能力，成为可调用工具、解决问题、完成复杂任务的智能体。

而当前沿能力可以越来越快地被开源模型追平，单次模型领先所能换取的技术溢价也在收窄。