磐石2.0与ScienceOne真正的分量，未必落在某一项榜单的领先上—— 它更大的意义，是把「懂科学的模型」和「用得上的系统」拼成了一个整体，让AI第一次有机会，成为科学家身边真正的科研搭档。

1、星空官方 Navos 目前客户端支持 macOS（https://navoscdn.tec-do.com/public/package/electron/latest/navos-mac-arm64.dmg）。

放以前，这一步得靠顶尖专家一行行手搓才行。星空官方Φ是正整数，每步至少减1，过程必须在有限步内终止。

2、德国医疗改革落地：法定医保参保人面临多重新增费用

张益唐不得不离开学术界，开始了漫长的漂泊。

3、与狮城水手的背水一战，会是乔迪在浙江队的告别演出吗？

负5小时，被翻译成了一整天。

4、AI的风吹到了地府，华南F3还在山上找太公

这就是金山办公反复强调的「可验证的任务执行」。

5、英格兰内讧？曝多位替补不满图赫尔：让我们来凑数！7000万红星0出场

这里面还有一个很关键的设计——多人协同。

你今天打开Claude看到的样子，很大程度上是那次定下来的。

这道题是那个年代公认最难啃的硬骨头。

6、关注

在考验机器人模型上下文记忆的RMBench上，出现戏剧性的一幕：专用明星模型π0.5，惨遭滑铁卢，得分只有10.4分；而MiniCPM-RoboManip，却一举拿下53.5分，直接碾压。

（图源：Stanford Online」 三年半前ChatGPT刚上线，当时的奥特曼认为，学生会先作弊一年，然后整个教育系统被逼着自我重构，教出比过去更会思考的人。

7、58岁王小丫罕见现身主持，穿粉西装端庄大气，主持功底不减当年

DeepSeek V4-Pro 在窄任务上对标 Opus 4.5，差距 5 个月。

先在「世界模型」里，把跤摔够 不过，光有一个强模型，还不足以让人放心把15小时交出去。

8、足坛疯狂一夜：米兰爆冷落败，马竞被灌5球，热刺成功保级

言外之意很清楚：国产AI芯片眼下的处境，是各自优秀、各自孤立。

谷歌把这款模型塞进代码安全智能体CodeMender里，靠多个Cyber智能体协同作战，在安全基准CyberGym上刷新SOTA，成本却比更大的模型低—— 用一个更轻的模型，干最需要精度的活。

Opus 5的答案，不在「更强」，而在「更便宜」。

9、ICU里的AI搭子：广东医疗AI大模型从助手走向诊断一线

这套治理体系，往往比模型跑分榜上的名次，更能决定一家企业的掌舵者到底敢不敢把核心业务交出去。

这组差异意味着，纠偏并不是模型在执行过程中自然获得的附加能力。

10、一个也别错过，网上逛了一大圈，大家最爱的还是这11样！

我以为到现在，它早该变了。

数据主权解决的是信息存放权。

1、奈雪的茶，股价跌了96%！

接下来，让U1 Pro和GPT Image 2进行一场「硬碰硬」的实战。

2、这场演唱会，紧急取消！网友质疑：擅自翻唱方大同音乐作品，借助艺人知名度引流牟利

银河通用以破局者的姿态，提出WAM（世界-动作模型），将懂物理的世界模型与懂执行的动作模型在潜空间统一。

3、就在今晚！CCTV5直播，中国队冲击U23亚洲杯决赛，预计首发出炉

八个月前，OpenAI就发过ChatGPT for Teachers：同样免费、同样面向美国K-12老师、同样免费到2027年、同样拉上了美国教师联合会（AFT）。85分钟绝杀！上海海港倒下，输给升班马，徐正源神了：率队3连胜二是 Agentic Landing Page（智能体商品页），专门给智能体看的商品信息页：图片被解构成结构化描述加自然语言打标，人类不需要理解这个页面，但智能体能准确提取每一个卖点。

4、想看C罗笑话的人，自己成了笑话

P6 到 P8 的用法完全不同。

5、科普｜走出青少年抑郁误区，别错过假期的治愈“黄金期”

另外，在控制总数据量恒定的消融实验中，银河通用给出了一个让所有从业者振奋的结论—— 在相同的预算下，「100条机器人轨迹 + 100条廉价的人类视频」实现了74.1%的成功率，这与纯用「200条极其昂贵的机器人轨迹数据」（73.7%）性能完全持平！ 这意味着，人类视频可以1:1等效替代昂贵的机器人遥操数据。

6、“大衣哥”朱之文自曝：现在累得一场商演都不想接了

2026 年 5 月 23 日，万拿机器人灵巧手进入国内某知名品牌的真实仓储业务现场，参与「618」期间的分拣作业，成为全球较早将灵巧手应用于真实业务场景并开展实际作业的企业之一。

所以面壁智能布局具身智能，是情理之中。

每年IMO成绩一出，总有人要把人类的答卷和AI的答卷放在一起比。

7、统计学20年悬案，GPT-5.6用90分钟破解！伯克利教授直呼「心塞」

未来AI for Science更需要面向行动能力的Action Scaling，让模型在可执行任务、工具调用、环境反馈和物理验证中学习如何完成真实科研任务。

说白了，老师要的不是AI「能生成」，而是「生成的东西直接能用」。

8、盘点中国足球顶级联赛历史十大江西籍球星：谁是赣鄱足坛第一人？

相当于给一道菜专门砌了一个灶台，灶眼大小、锅具位置、火候档位，全部量身定制。

图左：Claude Science；图右：GPT-5.5 换一道更贴近临床的硬题，磐石的表现同样能打。

四条战线，全栈闭环 漫步WAIC展馆，两百多家公司都在往自己身上贴标签。

其中AI Coding跑得最快，仅这一类就吞下了全球超50%的Token消耗。