参考资料： https://www.quantamagazine.org/jacob-tsimerman-wins-2026-fields-medal-for-andre-oort-conjecture-proof-20260723/ https://www.youtube.com/live/2dr2F2NVUkY 编辑：大卫新智元报道 大模型变强，过去靠两条路。

1、开云官方app Claude编写了大部分Anthropic代码 这种变化，也体现在工程师的工作方式上。

这两套方案，形成了中兴通讯「连接加算力」的双轮驱动。开云官方app逐际动力的大脑不是单一模型，而是具身智能体系统：管理记忆、调度、决策，调用VLM/VLA等技能及全身运控。

2、足协杯客战武汉三镇，宿茂臻发布会表决心，史松宸首发成看点，客场赢面占优，段刘愚发文官宣转会云南玉昆

是石科技依托国家级计算中心工程经验积淀，持续投入大规模集群研发，建设万卡级国产大集群，持续稳定运营，优化推理效率，构筑了深厚壁垒，率先打通从底层芯片到上层应用的超智融合全链路，真正把国产大集群从“点亮”变成“跑满”，让庞大国产算力切实转化为产业可用的Token稳定生产力。

3、汇宇制药创新药全国总代理被“截胡”

这也是为什么，全球道路验证越来越重要。

4、CBA最新消息！上海男篮作出决定，山东续约2人，张镇麟狂赚4600万

但如果验证结果恰恰相反，LongCat团队会给到容错空间。

5、直击WAIC：逛“AI Home”，看京东如何让AI走进物理世界

选题过程，只挑数学家本来就在讨论的题，再用AI把那些跟重大猜想，死死绑在一起的排除掉。

MiniCPM-RobotManip采用的办法，是尽量压缩视觉Token。

灵犀生成的Excel保留了公式和引用关系，底层数据变化后，汇总指标也能继续联动。

6、五冠之后，张雪机车还能火多久？

他给出了吓人的时间表——2年之内，AI将在所有数学证明领域彻底超越人类。

实测七：日文美妆直播间 这是一道集语言、规则和产品知识于一体的综合题。

7、新赛季NBA实力榜Top3出炉：雷霆断档第一，马刺猛龙分列二三

而那时候二级市场还很惨淡，我们没转过弯来。

真正好的投资是“投得早”，但问题是，启明作为典型的早期投资人，现在能不能跟得起？ 现在除了AI、机器人，很多赛道都显得冷门。

8、上半年云南咖啡出口量值领跑全国

再加上监管差异和AB测试版本，直接撞上天花板。

腾讯对姚顺雨也给予了“特事特办”的待遇。

喜马拉雅、网易云音乐也相继把“电台”栏目改名为“播客”。

9、斐济斩获多项国际旅游大奖，全球认可度持续攀升

相比之下，豆包的Coding专有模型在2025年11月才首次上线。

在 Anthropic 的最初四年，工程师每天Merge的代码行数基本保持不变。

10、亚运会女足抽签出炉：中国队与菲律宾、乌兹别克斯坦、中国香港队同组；本届亚运会女足比赛共有12支球队参加，分为3个小组

一个百亿级赛道，正在中国企业的贴身肉搏中快速膨胀。

昨天刚完成2亿美元Pre-IPO轮融资，逐际动力没有急着讲资本故事，而是立马甩出一段全尺寸人形机器人Oli全自主做家务的视频： 画面里，Oli连续不间断地干完一屋子家务： 将衣架高处的衣服提起并放置在手臂上、将手上的多件衣物精准扔进脏衣篓里、将随意乱放的玩偶归纳整理、搬箱摞箱、深弯腰拾取地面杂物。

1、王楚钦:美国大满贯前我和孙颖莎很久没配合 混双搁置许久重新捡起来

影石次日发起反诉，同时在国内启动针对相关专利的无效宣告请求。

2、情况有变，以色列收到“驱逐令”？美伊战火重燃后，内塔有麻烦了

新一轮智能浪潮席卷全球，7月17日至20日，2026世界人工智能大会暨人工智能全球治理高级别会议在上海举行，作为全球人工智能领域最具影响力的年度盛会，第九届WAIC大会以“智能伙伴 共创未来”为主题，140余场论坛横跨算力基建、物理智能、科学智能等前沿领域，吸引全球100多个国家和地区的顶尖学者、产业先锋与政策制定者齐聚，共同勾勒智能时代的方向。

3、重磅！荣昌生物泰它西普被纳入《国家基本药物目录（2026年版）》

但是，真上手过AI Coding产品的朋友都知道，Agent这东西，你赋予它的能力越强，它越容易出岔子。10家航空公司被约谈 5家线上售票平台被约谈看得懂，做不出。

4、未按规定报送大额交易报告！浙江稠州商业银行被重罚485万元

WAIC 2026科学前沿论坛的主旨演讲中周伯文抛了一组数据：过去一年半，AI编程成功率从不足5%飙到超过88%。

5、篮协还不归化？雄鹿10号秀夏联轰26分：我母亲有中国血统

所以回到开头的疑问：这跟Agent有什么区别？ 显而易见，Agent是干活的那个人，而loop是让这个人不用你盯着也能持续干活的那套管理机制。

6、国内主要手机厂商产品线一览：高端中端入门秒懂了

接收端重建出视频后，指挥人员可以据此判断道路是否中断、房屋是否存在风险、救援力量应该从哪里进入。

如今，联想早已超越了硬件销售的路径，而是以赛事为载体，输出混合式AI，面向全球交付算力、算法与一体化智能解决方案。

这条边界，我们已经触碰到了。

7、Z卡口唯卓仕50/1.4Pro来了！它能在日本拍到什么样的画面？

而一旦第一版已经开始贴近用户，后续问题就变得更尖锐：系统能否在多轮修改中继续保留这些偏好？当前会话里临时提出的要求，会不会过几轮就失效？用户只想改一个局部区域时，系统能不能避免把已经对齐的页面重新打散？ 让记忆分工 很多人一听到「Agent memory」，会自然想到：那就把历史对话放进更长的上下文里。

8篇论文进入最终名单后，三项最佳论文奖揭晓，其中来自韩国团队的FlashSAC拿下最佳论文。

8、四预警齐发，台风“红霞”将在粤闽一带沿海登陆

共有905个实体节点，3822条关系边。

任广辉和夏中谱认为是统一表征。

你口袋里那个每天都带着的设备，可以是一扇随时能通往异世界的门。

但别丧，还是有实打实拿到订单的企业。