“ 过去二十年教育数字化本质是“信息迁移”，搭起了线上教学、题库测评等信息基础设施，但无人追问：学习究竟如何在个体心智中发生？ 《白皮书》认为，理想状态下的教育AGI是指以认知世界模型为核心底座的通用人工智能教育系统。

1、leyuapp 而AI实验室眼下最饥渴的，恰恰是前一种人： 给定命题、判断真假、找出证明或反例，这正是训练和评估推理模型最对口的能力。

在家电行业，尤其是空调领域，价格战曾一度是市场竞争常态。leyuapp中间还会加入新资料、推翻旧判断，甚至换一个完全不同的汇报对象。

2、对手13犯0黄？姆总无惧围猎，法国拒绝爆冷

而在具身智能领域，中国可能更有优势。

3、日本公开赛战报！2-1，2-1决赛决出4席！2场大逆转，山口茜惊险

满打满算，从发布到现在也就不到一年的时间，能在这么短时间冲到中国AI编程市场份额的头部，自然也有点说法…… 事实上Qoder刚发布的时候，瞄准的就是一条覆盖个人IDE、云端Agent、命令行和数字员工的完整Coding产品线。

4、法国队运气真好！死亡半区不死亡：德荷不设防，进军4强一路坦途

20万+小时人类干活的视频，怎么变成机器人手上的活儿？ 这正是Riemann-1.0故事的起点。

5、4年2.73亿美元，骑士用均薪7000万的米切尔，堵死詹姆斯归乡路

到了今年2月的DreamZero，也就是新一代GR00T 2的底子，英伟达改了主意，把预测画面和生成动作塞进了同一个模型里联合训练。

5天后，大疆Osmo Pocket 4P登场，标准套装3799元，比影石便宜整整200元，贴身价格战意味明显。

这说明它对具体UI场景已经有了一定理解，只是还需要像修错字一样，多沟通、多指令、多调几轮。

6、金塔新农人李海燕一腔“农”情守乡土

Anthropic联合AWS、苹果、谷歌、微软、思科、Linux基金会、摩根大通等一批巨头，搞了个Project Glasswing，用一个没公开发布的模型Claude Mythos Preview帮大家找漏洞。

话音刚落，全场再次掌声不息。

7、WIvsPAK测试赛：尤素夫千分领跑，巴巴尔新篇章

老马在台上说“我要带你去火星”的时候，是格温在后面确保火箭真的能飞起来；老马给SpaceX的成功概率估了不到10%，是格温在过去24年里把这个概率一点一点搬到了100%。

目前SkillForge拥有500K+小时真实交互数据、50M+任务片段、200+标准化技能包，50+核心场景覆盖家庭、制造、零售、教育四大领域，1000+任务变体。

8、鼓声动资江，歌声彻宝庆！邵阳在这个夏天何以被世界看见

但对JustPod创始人程衍樑来说，这个风口他看见得很早，却一直没碰。

2、认知诊断与精准教学 传统学情诊断依赖阶段性测试与作业批改，面临时间、粒度与干预三重滞后，通过多模态过程性采信、深层迷思图谱映射、亚知识点级精准定位，让教学干预直击思维根源。

因为大家都很专业，二期刚投完，三期就接上了，完全无缝衔接。

9、1.17亿镑！切尔西签下摩根·罗杰斯创英国球员转会费新纪录，签约7年

每题7分，满分42分。

先说Workflow Agent。

10、MotoGP轮胎到底多贵，谁来买单？倍耐力终于给出说法

除了飞书，字节跳动此前鲜少尝试按月付费，即便在番茄小说、红果短剧这类已经被验证过的“订阅+收费”赛道，字节也是反其道行之，将大部分内容免费开放。

商汤大装置在WAIC期间正式发布了「算电协同Agent」，先用模型去预测算力任务的耗电特征，把这个预测结果，跟电力的调度系统打通，再配合峰谷电价和自己的储能设施，去调节整体的用电节奏。

1、拉什福德谈未来；曼晚：奥纳纳想留队，但被告知不可能

2年，AI将在数学上彻底超越人类 Tsimerman因彻底解决「安德烈-奥尔特猜想」（André-Oort Conjecture）等算术几何难题获奖——那是代数几何皇冠上的明珠，几代数学家都啃不动的硬骨头。

2、转会窗：卢库米接近加盟尤文，利奇纳期待升入尤文一队

而这也是Hidden Decoding能在100B+稀疏模型上落地的核心。

3、点赞！20名少年入选2026年度泸州市“新时代好少年”

全年预计研发投入120亿元，其中50%聚焦AI核心技术。历史时刻！梅西世界杯梅开二度：18球超越克洛泽 独占历史射手王等到用户在业务里察觉到不对劲，模型的招牌已经砸了。

4、宁县“三色”机制赋能重大项目建设提质增效

《中国企业家》记者 孔月昕 编辑｜马吉英 头图来源｜受访者 在采访的前一天晚上，英诺基金管理合伙人周全和团队开会到深夜12点。

5、维拉刚夺欧联就遭肢解：卖走罗杰斯+蒂勒曼斯，埃梅里还能再造前四奇迹？

将近百年后，2025年，王虹和Joshua Zahl用127页论文成功证明了三维情况下（n=3）的挂谷集猜想。

6、切尔西曼联争夺24岁带刀侍卫 1700万镑解约金再现英超性价比之战

存力维度，有镇岳系列存储主控芯片，例如对标业界标杆三星旗舰的SSD主控芯片镇岳510，满足AI训练推理对低延时、高带宽存储的需求。

一套动作下来，昆仑万维，这家几年前就把「实现AGI」写进公司使命的玩家，第一次真正把手伸进了物理世界。

“都是阳光，上午9点的阳光和下午4点就是不一样的。

7、于金永一战封神，值得连续首发，泰山队防守太差，韩鹏没预判苏帅后手

视频模型有一个难以治愈的缺陷—— 预测未来的时间一长，物体就容易突然消失、变形，或者在一帧幻觉之后彻底蒸发。

机器人能在这里面无限轮回，最终完成属于它自己的进化。

8、708分放弃优质普高 越来越多高分考生选择“中职直通本科”

△文远知行创始人兼CEO韩旭出席量子位·MEET2026智能未来大会 所以深耕“马拉松”的文远知行，和其他L4相比，技术、理论其实站在同一起跑线，真正在降维这件事上拉开差距的，是坚持——日日夜夜地磨量产、适配不同芯片、满足主机厂的种种要求，一路坚持下来。

贷款都是政策性的、关系性的，和当时的中国差不多。

基于 Agentic Cloud 的核心能力，PPIO 不仅助力多领域客户实现效率提升与成本优化，还将经充分检验的技术与产品能力延伸至全球，为中国 AI 的全球化发展提供底层支撑。

可以说，在数学这块，前沿模型的天花板还在拉高。