此前社区观测到，Sol的max档对应960。

1、亚搏手机 过去几年，老师们用AI生成教学材料，几乎都踩过同一个坑：看着挺漂亮，教起来很空。

回头看今年4月，GPT-5.4 Pro在80分钟里解掉了Erdős 1196，用的是von Mangoldt函数。亚搏手机两者都能达到同样的结果，但实现路径不同，但Kimi 的创意更强。

2、「月泉仿生」获数亿元融资，仿生拉压体灵巧手万台量产、订单过亿｜36氪首发

「将来的各种边缘计算产品都需要用到能源和算力。

3、高温来袭，京东互联网医院提醒：防护不松懈、警惕热射病、急救守法则

触发器感知的训练目标（Trigger-Aware Objective） 研究人员在混合数据集上微调模型，每个样本是「提示—响应」对。

4、朱芳雨下课？一个球队总经理下班后的快乐没了……

通用Agentic，从「会调工具」到「能扛业务」 写代码只是Agentic能力的一半。

5、「爬坡」正在重塑健身房生意

用户看不到，OpenAI也从来没公布过它的取值。

任何新的Agent、模型、机器人，只要接入HMS，就能立刻继承过去的知识和行为规律，而不必从头再学。

参考资料： https://claude.com/blog/ai-code-migration 编辑：桃子新智元报道 就在昨天，整个AI圈还沉浸在一片亢奋之中。

6、西班牙2026美加墨世界杯的夺冠之路

这背后更像是一场智能驯化，而这场争议，等于把驯化的现场当众揭开了。

值得一提的是，Axiom Math的创始人洪乐彤年仅25岁。

7、库里：我真心希望詹姆斯加盟勇士成真 更期待与他一块打高尔夫

一个模型，装下五种能力 长程工程、通用Agentic、终端、前端美学、通用知识——这五个方向，KwaiKAT各训了一个专家。

模型必须基于当前图像、机器人状态、任务指令和历史信息，回答一系列受约束的问题。

8、已打完广东最后一场？球队落后，玩手机漠不关心，解说员：不应该

中国具身智能，站起来了 长期以来，在全球人形机器人和具身智能的竞技场上，尤其是对标Optimus时，国内舆论场中一直弥漫着一种论调：「中国企业底盘控制做得好、电机强，但只是『本体强』，我们在最核心的AI模型泛化能力上，『大脑弱』。

加州大学伯克利分校分析50多万条成绩：ChatGPT发布后，写作、编程类课程拿A、A-的比例明显抬升（蓝色显著为正），B+及以下几乎纹丝不动。

模型由此不仅学习如何走对，也系统学习三个问题： 什么时候已经偏航、应该向哪一侧修正，以及如何重新回到正确路线。

9、16岁中国库里！张宇辰三分12中8砍24分，末节差点一人逆转比赛

系统严厉警告AI：拒绝「这一步显然成立」的敷衍。

那只拥有37个自由度的灵巧手KAI Hand，也在被厚木板猛砸。

10、詹姆斯确定离队！湖人连走4人，补进2名射手

听上去简单，切片、上传、拼回去。

比如，碰到棘手的集群运维难题，专门的智算集群运维智能体系统就会接手。

1、我国成功发射天仪48星等5颗卫星

车还在路上，Claude就已经替她干起活来了，这是她前一天交代过的任务： 把当天每个学生的「出门测」（exit ticket）挨个复盘一遍，看谁掌握了、谁还卡着，再据此把明天的教案调一版。

2、威后的回归之路 背后还有“减肥神药”的事呢？

One More Thing 对了，文章写到这里，还有一个反转没讲。

3、陕文投介入东庄水库：剑指陕西版“胡佛大坝”？

而在ECS和NSEAP中，它可以被具体化为： Ontology 资产； Skill 资产； Meta-skill 资产； Agent 配置； 任务执行记录； 情节记忆； 评价函数； ΔR信号； Skill版本演化； 业务场景中的持续测评结果。雷霆3-2领先马刺！这一战，不得不承认5个现实：亚历山大吃相难看另一个企业则把每次调用转化为： 新的案例； 新的Skill； 新的规则； 新的评价标准； 新的任务模板； 新的行业本体； 新的风险控制机制； 新的组织经验。

4、算力那么贵，用来免费选高考志愿会不会太“亏”了？

科研中的「灵光一闪」，那些需要从无到有构建全新数学模型、打破旧有范式的「构造性发现」，是碳基生物专属的自留地。

5、万亿数据产业背后，被AI「困住」的打工人

底层 S0 / WBT 也有对标行业公开最强全身跟踪模型 SONIC 的量化数据：关节角误差从 3.3° 降到 1.5°，全身位置误差从 13.75 mm 降到 12.85 mm，动作平滑度同步提升。

6、Respect!阿根廷队背对西班牙颁奖,只有洛佩斯一人面朝西班牙方向行注目礼

3.6 Flash在几条关键测试上，都甩开了前代—— DeepSWE：编程测试 37% ➔ 49% MLE Bench：机器学习研究测试49.7% ➔ 63.9% OSWorld-Verified：让模型直接操作电脑测试78.4% ➔ 83% GDPVal-AA v2：知识型工作任务拿下了1421份，比上一代高出70多分 如下demo中，3.6 Flash大秀多智能体编排绝活，不仅轻松拿下复杂的代码迁移任务，更在响应速度、代码质量上对3.5 Flash完成了降维打击。

」 参考资料： https://x.com/search?q=Jared%20Duker%20Lichtman&src=typed_query 编辑：大卫 Aeneas新智元报道 简直细思极恐！ 一个被寄予厚望的顶级模型，OpenAI连夜按下了「暂停键」。

当机器人在踏入陌生厨房的那一秒，学会通过「看」来修正自己的动作时，那个曾遥不可及的通用机器人时刻，才真正具备了大规模商业落地的可行性。

7、5亿A轮！华鹰航空创4t级无人运输机最大单笔融资

两件事拼到一起 AI开始「造软件」 Artifacts负责生成界面，MCP负责连上数据。

第二步：在回访状态复用去噪 去噪缓存能不能用，关键看模型输出是否稳定。

8、高诗岩归队+双外援就位！山东男篮出征广州，节后首战验成色

当一个中国公司把前沿能力推向全球时，AI竞赛的逻辑已从「零和博弈」转向「正和共生」。

这也决定了它现在最适合的，是边界清晰的结构化任务，而非天马行空的自由发挥。

环境暂停时自动触发告警，记忆存储更新时同步到自家数据库，新环境创建时自动挂上监控。

真场景、真需求、真出题人——场景不是PPT里的迷宫，是GDPS预先设计好的考场。