UC伯克利计算机科学/统计学副教授、前Google DeepMind研究科学家Jason Lee直呼：「数学完了。

1、leyuapp OpenAI研究员Noam Brown所感叹：「这与之前解决Erdős单位距离问题不同，这次创造奇迹的模型，是今天对所有人公开可用的！」 网友惊呼：证明令人叹为观止，AI改变数学！ 幽灵般盘旋了50年的数学魔咒 循环双覆盖猜想，是图论里的「皇冠级」难题之一，由Tutte、Itai与Rodeh、Szekeres、Seymour等多位数学家在上世纪各自独立提出。

它不仅能自我介绍，还能流利地进行实时对话。leyuapp过去，行业信奉的是Scaling Law。

2、高通第五代骁龙8至尊版：3nm制程全面升级，终端侧AI是亮点

在这段时间里，特纳飞往巴黎，参加了国际安全与伦理AI协会的大会。

3、吉利汽车5月销量23.76万辆 连续三月双增创出口新高

deepseek-v4-flash更狠：百万输出0.28美元，高峰0.56美元，缓存命中的输入0.0028美元。

4、六名中国选手全部摘金，中国队团体总分第一！

一句话：ChatGPT开始拥有自己的「文件系统」。

5、西班牙强于法国？德尚回应亚马尔！

供应商可以改变。

比如在生产层，通过软件优化支持FP4格式，在使用DeepSeek等模型时，原本需要4台机器的显存，现在1台机器就能搞定，直接为企业节省了75%的成本。

高盛预计，全球AI视频生成市场将从2025年的约30亿美元增长到2030年的约290亿美元，五年翻近十倍。

6、MLS前标王22亿转会费成空？亚特兰大联或清洗27岁前锋

而那段3分钟短片证明了另一件事——一个人、两个起始帧、一套prompt，就能生成连贯的电影级对话场景。

用徐立的话说：不需要你有更多的编辑、理解和生成能力，只要把意图充分表达，AI就可以给到你可交付的内容。

7、2024奥运刚当旗手，2028洛杉矶主场在召唤！勒布朗真要打到44岁？

一句「帮我建个项目追踪表」，它就交出一张18个项目、29个待办事项的甘特图：这不是聊天，是交活。

Kimi K3像一头不知疲倦的巨兽。

8、2026年抽签大会诞生3个大赢家，1个最大输家，快船5换1交易神了

准确率在持续提升，Token消耗在持续下降，这是一个越用越强的技术飞轮。

至于该怎么重写，全在OpenAI悄悄出的一份提示词指南里面—— 说清你要什么结果、画好硬约束的红线、交出手里的材料、定好验收标准。

如何在保证强劲动力的同时，实现极致的轻量化，是一个持久的命题。

9、电讯报：因拉克鲁瓦即将加盟切尔西，水晶宫在谈租借迪萨西

落到具体行业，痛感立刻锋利起来： 制造业想让AI钻进研发、仿真、质检、排产，可图纸和工艺数据是命根子，只能私有化部署。

」张正友笑着说，「大模型时代，谷歌发明了几乎所有技术，但OpenAI出来了。

10、OPPO K15评测：大电池+IP69防水 高温户外不卡顿

跨形态——同一套智能进入人形机器人、双臂轮式机器人、工业机械臂，形态不同，都能干活。

在基金会官网最不起眼的角落，藏着一句自白：它根本不是一家慈善机构。

1、荣耀全球发布Magci6和Magic V2系列，还有首款AI PC亮相

其中的MiniCPM-RobotManip，在专门考虑机器人模型的上下文记忆能力RMBench榜单上，达到53.5分的水平，而美国知名 VLA 模型pi0.5只有10.4。

2、亚运会足球项目分组揭晓 中国男足与阿联酋、伊朗、朝鲜队同组

其中，ABot-ER是面向真实环境的通用具身大脑，统一支撑机器人从感知到决策全流程。

3、太强了！贝林创新纪录：6场6球极限救主！梅开二度，导演神奇逆转

在人形大脑系统的调度下，人形 VLA 能力全面提升。【多图回顾】澳网有自己的“全明星” ：杰伦上演一动不动、辛纳阿卡观赛化身表情帝据悉，自1989年中国队首次获得团体第一以来，今年已是第26次登顶，连续8届有队员获得满分金牌！ 此外，还有1位英国、1位韩国和2位美国选手，获得IMO 2026满分金牌。

4、WAIC对话星环科技CEO：把数据库“户口”迁到GPU上，AI Agent不再干等

姚期智院士在2025全球开发者先锋大会暨国际具身智能技能大赛的致辞 大赛专家指导委员会主席由姚期智院士挂帅（图灵奖得主、中国科学院院士），首创「人工智能专家+具身智能专家+人类技能大师」三元评审体系，为GDPS赛事评审标准与技术方向把舵定调。

5、高诗岩：数据之外国家队“隐形基石”，郭士强为何从不缺席他？

用能跑通的极简提示、最少工具直接开跑，缺了再补。

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

Qoder「三层护航」，轻松上手 而且，为了让这种「贴身保镖」的体验不打扰开发者的心流，Qoder Desktop设计了一个极其优雅的三层防御体系。

数据中心级AI服务器噪音大到办公室无法忍受、机房门槛极高；普通工作站又算力孱弱、撑不起大模型。

从平台的燃料，交互数据变成个人的资产。

7、争议晋级！阿根廷占尽优势，埃及进球被吹，主裁被4万人骂到关号

」 他给创业公司的建议是：不要做容易被大模型「吞噬」的增量式创新。

在他们看来，真正完整的Agentic Infra至少得同时迈过三道坎： 全链路：撑得起从算力到Token再到生产力的整条链，用全栈优化提升基础设施系统性能； AI原生：能用AI改进AI基础设施本身，不仅服务人类用户，还针对智能体这类数字用户的需求做改造； 全覆盖：训练、强化学习、推理全流程覆盖，稳固更多样化的技术优势，同时携手行业百业的客户，赋能降本提效。

8、绝杀补篮票价暴涨4000美元，看在钱面子上肖华得把马刺抬回麦迪逊

靠着Gemini Canvas，3.6 Flash打通了3D工作流，分分钟「手搓」出一个专业的摄影级纹理提取神器。

VLA与世界模型谁是下一个目标？真机数据还是人类数据更有价值？全栈还是只做大脑？ 这些问题没有标准答案，但有一点是确定的：物理AI正在以远超预期的速度向我们走来。

代码侧靠AutoBuilder，业务侧则由KwaiClawEnv顶上，三层闭环协同： Service层动态扩池、把社区大量Skill转成可部署服务； Task层以真实业务为种子、派生海量任务变体； Eval层用「硬规则 + 模型评审」双重过滤，只留可执行、可验证、行为自然的轨迹。

当计价单位从「席位」和「token」变成「完成的工作」，送额度就不是让利，是换口径。