然而，到了今早，彭博社记者的一篇报道，让人瞬间失望。

1、星空官方 AI洪流之下，科学将以无法预测的方式爆发。

那它图什么？答案并不复杂：老师，是进入学校和学区的入口。星空官方不是那种把文字往模板里一塞了事的「假PPT」，而是图文混排、数据图表都到位、排版逻辑清晰的真文件。

2、WAIC直击

通过底层硬件与具身大模型深度融合，Apex具备长效稳定作业、多场景泛化、精细化操作、安全人机共生四大优势。

3、学习笔记丨“努力让每个孩子都能享有公平而有质量的教育”_网易订阅

甚至还有一个是开源的。

4、亿纬锂能回应美国专利诉讼：不存在侵犯专利权情形

为此，晶泰科技通过参与IEEE的WBCD 双臂机器人挑战赛，推出专属「生命科学赛道」，复刻真实实验室场景。

5、为何生涯仅1冠1MVP的诺维斯基能够得到世人如此巨大的尊重？

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

灵犀给出的答案是四个词——懂你、懂事、懂交付、懂闭环。

体系化的最大亮点之一，就在于「解耦」。

6、巴拉圭点杀德国——这真是德国？！

他租了一张廉价的GPU，下载了开源的Qwen2.5-7B模型。

三个女孩在深夜聊起一个问题：如果真的能穿进游戏，你最想去哪个世界？ 她们想做的，是一款市面上很少见的快穿3D乙游：玩家可以穿梭于古代、民国、末日、仙侠等不同世界，拥有不同身份，遇见完全不同的角色，也看见不同版本的自己。

7、通用汽车交出“双面财报”

据作者实测，财报里的表格、PDF里嵌的图、架构图、仪表盘截图，以往Opus 4.8偶尔会认错列、看混坐标轴的地方，Fable 5能稳定读对。

传统的AI生成流程是：你输一段prompt，它出一张图。

8、农家书屋应成乡村文化客厅

于是，衡量算力的那把尺子，也换掉了计量单位。

按照传统3D游戏管线，仅一个角色从建模、绑定到调整，往往就需要四五个月；再制作一段15至30秒的动画，还要叠加两三个月，以及动捕、手K、特效等一整套流程。

先抛出一个古老的哲学追问：人类究竟如何理解世界？康德在《纯粹理性批判》中给出了经典回答：他认为人类心灵并非被动接收外界刺激，而是先天配备了十二种「纯粹知性概念」（「十二范畴」）作为认知的形式框架。

9、中国男篮出线告急！郭士强被迫退出国家队，或加盟广东取代杜锋？

效率变化是可量化的。

「AI吸血鬼」 AI越强，人越睡不着 Andreessen真正引爆硅谷热议的，是他对软件工程师的观察。

10、西汉姆联计划3000万英镑签下麦卡蒂 欲为英冠升级做重磅引援

AI翻出了图论大师Tutte的「群流定理」（Group-flow theorem）。

还有多少题目，卡住它们的其实只是人类的耐心？ 参考资料： https://annals.math.princeton.edu/1991/134-3/p03 https://www.erdosproblems.com/forum/thread/AI%20Contributions https://arcprize.org/results/openai-gpt-5-6-sol 编辑：元宇新智元报道 凌晨两点，城市睡着了，前置仓还醒着。

1、13年前被终身禁足！53岁申思违规办青训却不收敛：公开打足协的脸

比如，法务想要一份把所有依赖库许可证列全、还标出哪些是copyleft的审计表，一句话就能生成。

2、好消息！库尔勒直飞石家庄航线加密！

这一切「感觉太美好了」，于是理性判断集体下线。

3、韩国最贵离婚案！SK会长赔偿前妻9440亿韩元，他的人生比韩剧还狗血：总统女婿、两度入狱、AI暴富…

大概就是「你隐约觉得这版有点不对劲，但说不清哪不对」。5月张江AI创新小镇，邀您共赴这场 AI for Materials 闭门之约把视野放到全球，与逐际动力最值得对比的是三家公司：Figure（美国，全球最高估值人形公司）、Flexion（欧洲领先的具身模型公司）、Skild AI（美国，高估值具身基础模型公司）。

4、绍兴一坯布老板发帖：针织厂欠 33 万一直不还......

依托专属的具身自主实验体系，平台打破了仿真计算与实体实验的场景壁垒，搭建起干湿自主迭代的闭环：AI 自主生成科研假设 → 智能体完成多维度仿真筛选 → 自动化实验设备承接落地测试 → 实测数据实时回流迭代。

5、ESMFold2正式面世：用10亿开源蛋白质图谱拓展生命科学的边界

给智能体，戴上一副「计算机系统」的眼镜 SafeClawArena最关键的一步，是没有另起炉灶发明一套新分类，而是借用了计算机安全几十年的成果。

6、恭喜广东队！洛夫顿疑似拒绝降薪续约上海，朱芳雨有望出手截胡？

因高度还原真实装置运行约束与工程逻辑，新奥玄龙-50U球形环装置高保真仿真平台的专业性受到不少从业于聚变控制领域参赛者的认可。

值得一提的是，ABot-N系列工作已经入选了CVPR年度最佳论文的候选。

第二层是Prompt压缩，第三层是上下文裁剪，各自再精准剔掉10%到20%的输入赘肉。

7、“义乌发展经验”，习近平总书记曾用12个字阐释精髓

两个AI巨头，一个连轴转堵窟窿，一个嫌自己涨太快。

公司名字里的「超维」，说的就是这件事。

8、【沪企行】走进中国航发商发：大中小企业共探商用航空发动机产业链融通新机遇_网易订阅

在WAIC，中国「心脏」在跳动 2026年的夏天，在上海世博展览馆H3馆，小象电动的展位，注定不只是展示几款电机而已。

而WAM-TTT对数据的要求低到了极致：纯视频输入，不用任何标签！ 它将人类视频视为「无动作」（Action-free）的数据。

这种对AI生成代码的不信任，在限制了工程师们使用Gemini来辅助开发，担心专有代码泄露到训练数据中。

一个能拿Opus 4.8来兜底的模型，能力必然在4.8之上。