王虹与邓煜在费城登顶，背后站着的是一整代北大数学人。

1、米兰体育 它被定义为Personal AI Center，可以在本地运行千亿参数级模型，即使没有网络连接，也能保持核心能力。

很多VLA模型在执行动作时，主要根据当前这一帧画面做判断。米兰体育该猜想自1939年提出以来悬而未决长达87年，连张益唐等顶尖数学家都曾在此折戟。

2、NBA消息人士：至少八九名球员在等詹姆斯做决定，库明加也在其中

如今，头部公司都在为同一批年轻人下重注。

3、维斯塔潘：红牛升级见效 匈牙利站欲保持上升势头

身体记住了经验，可他的意识对此一无所知。

4、热刺季前赛阵容公布：本坦库尔等三人缺阵，新援悉数入选

她在CNBC的专访中被问到合并的可能性时，回答了一句意味深长的话： 这话从别人嘴里说出来可能是猜测，但从SpaceX女总裁嘴里说出来，分量完全不一样。

5、竞速红、亚瑟王之剑与7千英里的私人车库：一台SF90 Stradale的第二次挂牌

在这种“行动—反馈”的高密度训练中，Intern-S2-Preview-397B不再是对文本概率的简单拟合，而是在试错中内化领域逻辑，使得Intern-S2-Preview-397B的长程规划与工具调用能力得到根本性强化。

第二轮拼算力，这个阶段算法范式根本没有收敛统一，而算法本身的高下又难以通过直观可量化的数据来通俗表达，于是算力就成了智能军备竞赛的核心指标，包括车端和云端。

效果上，Macaron-V1还没有在所有能力上做到最强闭源模型的水平。

6、15岁伍兹儿子遭观众快门声废掉关键一击，球迷：泰格训练不如他爹狠

交易金额暂未披露。

听说2006年平安第一次接触你的时候，你拒绝了？ 单伟建：没有拒绝，而是为时过早。

7、美职联前瞻：科罗拉多急流迎战圣地亚哥，近两月首战

如果说四个月前的惊艳首秀只是单点突破，那这次WAIC则是一次通用泛化能力的全面亮剑。

相比单纯增加一项业务，更重要的是技术开始形成复用—— 对于一家自动驾驶企业来说，这意味着研发投入不再只服务于单一场景，而能够同时支撑Robotaxi和量产辅助驾驶的发展，形成持续迭代的正循环。

8、记者：巴莱巴非常希望加盟曼联；TA：若情况发生改变，琼阿梅尼愿为曼联效力

用丁文超的话说就是： 但，这只是开胃菜。

同一轮融资，两个口径之间相差近千亿元。

6月4日，粉笔科技官方微博发布了张小龙的署名道歉信，但舆论并未平息，投资者也用脚投票。

9、“摩洛哥伊涅斯塔”，归化军团的本土青训骄傲

这不禁让人想到：AI会不会有一天拿到菲尔兹奖？ 巧的是，就在7月23日，中国数学家王虹、邓煜双双获奖，实现了中国籍数学家菲尔兹奖零的突破，举国沸腾。

放到今天看，这篇论文其实也提供了一个非常典型的跨学科案例，机器学习的难题或许可以在纯数学中找到突破口。

10、美媒预测加雷特新赛季25.5次擒杀 再破历史纪录+蝉联最佳防守球员

也就是说，这家意外为DeepSeek估值提供关键线索的公司，主业确实是做包和行李箱。

在他看来，这项工作的一个重要价值，是缩小具身智能的Sim2Real Gap 仿真无法完全还原真实物理世界，导致仿真训练的策略部署到真实机器人时，常受模型误差和环境扰动影响。

1、“不想添更多麻烦”，双胞胎兄妹高考交卷就进厂赚学费

原因很简单，这里既有足够复杂的任务，也有足够明确的工业价值。

2、央视直播上海德比！阿苏埃缺阵是烟雾弹？司机要悬！李松益转身太慢

从学术SOTA走向工业现场，还需要一个能现场解决问题的「工业大脑」。

3、中国“促统”，美国欧盟联手炮轰反对！台当局：两岸进入新阶段！

耗费大量人力、时间不说，关键是采到的数据无法跨机型、跨场景流通复用。AC米兰官方：莫德里奇续约 合同至2027年6月30日Terminal-Bench-2.0是一个多轮智能体benchmark，任务运行在容器化终端环境中，覆盖文件管理、命令执行、错误恢复、产物验证等真实工具使用能力。

4、仅剩7天！国际原油暴涨超6%

”作为后来者，影石选择以创新功能打开市场，而系统稳定性和软件体验的完善，还需要结合更多用户反馈打磨。

5、2023选秀重排：米奇科夫第5顺位被截胡，飞人第7顺位选中1米8边锋

一条技术路线能被客户这么快用真金白银投票，说明它解决的是真问题、痛问题。

6、301234，连续3日“一字”涨停

每个Agent在自己隔离的代码分支里干活，一个写代码，另一个跑测试验收。

与此同时，不同医院、不同设备、不同系统之间的数据标准也并不统一。

而AI服务器产业正在快速发展，对于制造环节提出了更高要求。

7、巨人10步休赛期计划复盘：劳伦斯交易成败笔？冲传投资缺失或酿苦果

其中在在蛋白质、材料等前沿研究中，「书生·端砚」完成了干湿实验闭环，实现了科学发现全流程端到端验证。

按官方说法，它不仅能准确生成仿真UI界面，还能帮老师一键生成排版精良的期末试卷；设计师也能用它快速输出海报、分镜和网页原型，省去从空白画布一点点搭框架的时间。

8、岚县：好山好水好风光

截至2026年3月，美图全球付费订阅用户已经超过1790万，AI生产力应用ARR持续增长，多款产品在全球市场获得用户欢迎。

老师在唯一一条帖子里预言AI将接管解题；学生上周用AI一夜推翻百年猜想，替老师把预言提前兑现。

文本世界中，token是离散的，生成错了那就重新采样一次，但机器人的动作空间是高维连续的，一个抓取动作的力度和角度差之毫厘，结果可能天差地别。

过去一年多，阿里在内部肉眼可见地加速。