Kimi K3：381分钟，四轮，满分。

1、乐鱼APP 它没有顺着人类的思路去证明，而是直接在三维空间 中甩出了一个反例： 这个看起来颇为复杂的多项式映射，从C³映射到C³，其雅可比行列式恒等于 -2——非零常数，满足猜想的前提条件。

它是一个人 + AI，重建了整个历史现场。乐鱼APP挂在外面的Google Drive这类已连接应用，暂时搜不到，官方也没给扩展的时间表。

2、替补助攻双响！巴萨新援拯救英格兰 8000万买他弃拉什福德太明智

AI的下半场，拼的是运营力 除了作为调度中枢的「星火Token Factory」，科大讯飞星火企业军团这次还发布了三款企业级新品。

3、上海海港VS大连英博：王牌双后腰坐镇，梅伦多领衔，当家锋霸出击

现有的智能体安全评测存在两个惯常的盲区。

4、“体育局干部霸占车位”事件，通报用了春秋笔法？

这哥们儿把全部制作流程公开了，核心逻辑只有一句话：把Grok Imagine当成一个真实剧组来用。

5、“三心” 书写为民造福时代答卷

这两件事拼在一起，意味着你用一句话生成的页面，第一次能连上真实业务系统，自己跑下去。

（视频中的速度数字对应本演示视频的交互动作、视频时长和统计口径；论文表格中的2.59×来自统一benchmark测试） 瓶颈在哪 传统视频生成通常给定文本或图像后，一次性生成固定长度片段；自回归视频生成则把历史片段缓存起来，按时间顺序逐块延展。

它也确实更强了。

6、全场第5！27岁亚洲铁卫重回主力！时隔3年半世界杯交出亮眼答卷

一个没封顶的/goal撞上难题，token能烧得飞快。

Noam Brown指出：「增加模型的TTC（让它思考更长时间）能带来更高的智能。

7、仅用2年！登贝莱反超姆巴佩！今年或卫冕金球，上演足坛最强反转

记忆必须会遗忘，所以能提炼；必须靠重建，所以能理解；必须可传递，所以能累积。

如今这个问题居然被AI解决了，实在是难以置信。

8、卷首语｜你不是碳水脸，你那是活人感

你甚至能用大白话反复调它、改它。

Frozen v2是折中版：不烧权重，只固化架构。

于是Anthropic给出了一套可复用的六步框架：先搭好裁判、写规则手册、画依赖图、列缺口清单。

9、葡萄牙0比1被淘汰，C罗世界杯生涯正式谢幕，赛后正式官宣表态

但是，Token Capital仍然只是一个资本层面的概念。

GPT-5.6与Fable 5卷起来了 之前，Anthroipc就有过一次滑跪。

10、美国7月制造业采购经理指数初值报5...

别人拼了命往管理岗爬，她往下走。

AI的下半场，拼的是运营力 除了作为调度中枢的「星火Token Factory」，科大讯飞星火企业军团这次还发布了三款企业级新品。

1、研究发现：喝一升啤酒等于吞130个塑料颗粒，源头不是瓶子是瓶盖

现在Claude能替老师制定个性化教学方案，Reddit上已经有老师用它给特教场景搭工具，比如帮做特殊教育的另一半整理IEP（个别化教育计划）。

2、东航“空巴联运”落地黄石，凭机票免费往返天河机场

模型路由的调度、推理引擎的压榨、安全底线的死守、运营数据的深度解剖，这些深埋地下的隐形地基，正在成为AI规模化落地的真正支撑。

3、刚捧完大力神杯就来北京抖空竹！西班牙球员佩德里，下一站苏州

这条路，Coding已经提前替所有人趟明白了—— 从嵌进IDE的Copilot，到动嘴写需求的Vibe Coding，再到今天自己规划、执行、验证的Agentic Coding。一场1-2！让巴西无缘晋级，哈兰德天神下凡挪威进8强，下半区乱了只有当模型同时具备知识理解能力和行动能力，科学智能体才可能从「会回答问题」的百科全书，走向「能完成任务」的实验助手。

4、乘联分会：6月皮卡市场销售6.2万辆，同比增长29%

这些方法可以降低单次推理延迟，但如果策略仍然需要大量冗余物理步骤，真实任务耗时仍然很长。

5、夏天最舒服的状态？张康乐带你一键解锁！_网易订阅

那么，网页端那个对答如流、表现依然很强的Demo又是怎么回事？ 一位开发者没有被华丽的UI迷惑，而是直接去分析了网页端流式输出的token切分结果。

6、意媒丨阵容拥挤，米兰需要出售13人

后台弹出一笔即时零售订单：一瓶饮料、两罐罐头、一包软包装零食，几十分钟内要出仓。

碎屑的颜色，正是刚被挖掉那块方块的颜色。

数据多，不等于数据能用。

7、血沉：你的健康预警项目！怎么降下来？

而Claude Code，正是官方Harness Scaling里点名的训练环境之一——mini-swe-agent、Claude Code、Codex、OpenClaw。

点「进入世界」，鼠标被锁进画面。

8、轻信“百元祛眼袋”，北京七旬老人竟花掉三百余万元……

这是一个非常「工程师」的选择：把最贵的资源（真机时间）留给最值钱的时刻。

创始人兼首席科学家马也骋坦言，通用模型不够可靠，专用模型不够可扩展，他们选择先把可靠做到极致。

第一场：有人所有数据全都要，有人偏要少 真机遥操作数据最对口，可太贵：一个人盯一台机器，采集还不如自己上手，想堆出互联网规模，账单比机器人先觉醒。

Ontology 主要回答： 企业世界中有什么对象； 对象之间有什么关系； 当前状态是什么； 哪些行动可以作用于这些对象。