前Google工程师Deedy Das甩出一场AI横评：7个前沿大模型，全自主单挑IMO 2026全部6道题。

1、ob体育 智能体（AI Agent）从概念走向落地，算力需求的重心也从「训练」向「推理与执行」急速迁移。

成立16个月，凭什么站上WAIC 能够打出这场挑战的，是一家成立于2025年3月的初创公司——Dexmal原力灵机。ob体育换句话说，它已经不是一个App，而更接近一台后台常驻着一批服务的电脑。

2、米兰昔日老锋霸谈新9号：他会遇到很大压力，这是一次豪赌式购买

全双工技术更让AI能边说边听，在某保险公司的业务高峰期，扛住了7000路实时语音并发。

3、5000家企业纳入管控!十五五减排加码,清洁能源装机突破38.9亿千瓦

因为它代表的，是AI4S的一次范式跃迁，科研工作流第一次有机会被真正重塑： AI把繁琐的活儿接过去，科研人得以把更多时间，留给真正的科学问题。

4、出道四年13冠军，20岁身价6000万，欧洲杯坐板凳，世界杯能首发？

」 据网友Kai消息，Kimi已经用K3+Kimi Code来构建Kimi Code，AI自进化显现！ 不止软件，甚至不止训练阶段，K3可以自己设计芯片和从零设计推理内核—— 整体上，ArtificialAnalysis发布了对K3模型的评测，证实了Kimi K3的性能已经达到全球第三名！ Kimi坦承了与全球AI第一名和第二名的差距： 是时候重新选择了，你是选一个随时可能被封号的闭源的Claude Opus 4.8，还是选一个性能相当、价格更便宜的开源之王K 3? 实测惊人 Kimi给每个人的Claude Opus 在技术报告中，Kimi在游戏开发与数字创作上效果惊艳，直呼： K3实现了真正的「视觉闭环」：在代码和实时截图之间无缝迭代，即时查看并优化生成结果。

5、北京海淀甘家口街道办事处副主任徐洋被查

更让他意外的是，接下来AI竟自己调用SymPy写代码，回过头去验证自己的预测结果。

T是黑板上所有数的素因子个数之和（重复计），N是大于1的数的个数。

在这条跑道上，27000套已经跑完的路程，就是最好的简历。

6、红色系裙子这么穿太美了！点燃初夏活力，轻松搭配出日常造型

ABot-AgentOS多模态终身记忆 过目不忘 凭借系统级的经验反哺，机器人真正能够跨本体和跨任务做到举一反三、过目不忘。

就在上周，彭博爆出Gemini 3.5 Pro因编程能力等多项指标不达标而三度延期。

7、1比0！第6球！山东泰山新星爆发，小快灵身材，风格与刘彬彬相似

清程极智的核心团队孵化自清华大学计算机系高性能所，多年来一直负责国家级超算中心、智算中心的AI性能评测与验收。

模型不关心你用了哪张卡，用户也不关心你机房里有多少P算力。

8、马斯克称AI五年内就有望全面超越人类

甚至，没人确认。

朱红、墨黑与鎏金的光影碰撞，把那种「盛唐赛博」的舞台炸裂感直接拉到了最高。

传统的后训练路径，是把真机拉到现场，一遍遍试错、一遍遍采数据，昂贵且缓慢。

9、456名志愿者，456个希望——

至于那个迟迟不来的旗舰、和刚刚开跑的Gemini 4，都还是「期货」。

它的作用不是替代规划模块，而是让规划结果能够在执行过程中持续成立。

10、快速响应！延庆区全力应对降雨、冰雹天气——

在这份离线排行榜上，GPT-5.6的一众变体（连视觉版都算上）集体冲到136分，把身后所有对手甩开了一大截。

结语 AtomWorld不只是一套标准化评测基准，更像一面观测镜，直观展现出当前AI for Science发展中的关键问题：大模型可以解释材料结构性质，并不意味着它已经能够可靠修改材料结构；可以读懂元素周期表，并不意味着它能够在三维空间中稳定执行一次原子级操作。

1、缅怀英烈守初心 淬炼党性担使命----人保财险株洲市分公司开展主题党日活动

大晓机器人首席科学家陶大程担纲主持，五位嘉宾则分别来自蚂蚁灵波、极佳视界、无界动力、智元机器人和自变量机器人。

2、马卡：巴萨将申请FIFA补偿，德容伤停起算日期存争议

在清华大学计算机系高性能研究所的深厚积累下，团队摒弃了魔改国外开源引擎，从零自研了赤兔推理引擎。

3、耐克自砍一刀，但安踏的作业不好抄

诚邀麻省理工学院、斯坦福大学、卡耐基梅隆大学、牛津大学、剑桥大学、帝国理工学院、新加坡国立大学、南洋理工大学、苏黎世联邦理工学院、洛桑联邦理工学院、慕尼黑工业大学、卡尔斯鲁厄理工学院、达姆施塔特工业大学、亚琛工业大学、香港大学、香港理工大学、香港科技大学、香港中文大学等顶尖高校与海外创业团队火速集结。中乙战报丨第30轮第二比赛日再看一件事。

4、女友BELLA+封面

给代码权限，给财务权限，给评估权限，然后看会发生什么。

5、WTT大满贯战报：王楚钦2-11爆冷惜败，8强三席已决

本次同步开源的 Humanoid FluxVLA Engine，包含从训练到推理的完整代码，并首次支持端侧（本机）推理； 开发者可以通过统一的配置管理，以即插即用的方式训练与评测 π0、π0.5、GR00T、OpenVLA、LlavaVLA、DreamZero 等多种主流 VLA 策略。

6、「与美偕行」高端访谈EP4

英语的量大到别的语言够不着，而「把价值观训一致」这件事，在数据充裕的语言里更容易做到。

在那之前，两年的等待还差最后一步。

于是，搜索，就成了这个闭环里最后一块拼图。

7、减肥何必死磕健身房？走路才是被严重低估的瘦身习惯

第二印象甚至更差： CursorBench上，Gemini 3.6 Flash还不如Cursor的Composer 2.5。

ABot体系支持异构机器人协作 以上这三大表征绝非孤立技能，而是ABot三层架构「飞轮」高速运转的必然结果。

8、Jennie美出新高度！她们带火的美妆神器，到底值不值得买？

这说明模型层的对齐在生效时，仍是有价值的最后一道防线，只是它替代不了架构层本该承担的工作。

但故事还没完，它引出一个更大的问题： 当这一代孩子长大，AI早已像空气一样无处不在，一个从小只被老师「用AI教」、自己却没真正上手用过AI的孩子，能真正做好准备吗？ 这个问题，Claude for Teachers还没打算回答。

而这个飞轮本身，正是记忆最先能服务的对象：让记忆系统自身越来越聪明。

跨架构结果显示，重新预训练后的OpenVLA-OFT采用完整两阶段流程可达到2.97倍加速；OpenVLA仅使用第二阶段也能达到1.41倍加速。