参考资料： https://x.com/pankajkumar_dev/status/2078536231026372846 编辑：桃子新智元报道 科研人苦等多年的AI搭档，终于来了！ 就在WAIC现场，中科闻歌磐石（ScienceOne）团队一口气亮出两张「王牌」—— S1-Omni：首个面向「科学理解、预测与生成」的科学多模态统一推理模型； ScienceOne：以S1-Omni为核心、贯穿科研全流程的一体化平台。

1、kaiyun官网 剩下的它替你跑：从ScienceHub一键调用专用科研skill（这里是Qiskit），把电路搭建 → 噪声仿真 → 数据核算 → 理论推导 → 多类型绘图 → 交互式HTML报告串成一条全链路自动输出。

而DM0.5，只是这个故事的开始。kaiyun官网实验结果显示，这种基于Residual的复核机制能够有效缩小缺乏评语支撑的评分偏差，在保留合理学术分歧的同时，减少由个人评分尺度差异带来的极端打分。

2、与爱泼斯坦关联的法国模特星探巴黎身亡，律师：死于心脏病，但污名与压力“无疑起了作用”

无数数学家发表了大量声称证明了该猜想的论文，但无一例外，都被发现逻辑中有瑕疵。

3、油价调整通知：7月31日24时，预计汽柴油价格将会继续大涨0.59元/升-0.70元/升

一个是U1 Pro，另一个是GPT-Image-2；甚至在文字、设计感、东方细节上，U1 Pro还稍胜一筹。

4、迈巴赫GLS 680改款官图发布：611马力V8+MBUX三联屏，年内交付

这个差距有多大？ 用印地语说话时，Claude的「温暖」比全局平均高出接近半个标准差，是整项研究里最强的一次单项偏移。

5、5.10英超推荐：伯恩利vs维拉

有趣的是，在这场骗局中虽然什么都是假的，但被用来作为底座和替身的中国AI却是真的。

Tibo的帖子大意是：不是「降智」，是「调参」。

这让一个普渡大学的博士毕业生，在学术界寸步难行。

6、惊了！花7千块请的“高考规划师”，上个月竟然还是卖房中介

以「软硬协同、灵活部署、自主可控」为理念，AGX OS直击行业三大痛点： 守数据：本地推理与存储，确保核心数据「不出域」，从源头规避合规风险； 破壁垒：统一模型网关，终结厂商锁定，实现「万模随心切换」，赋予客户极致选择权； 控风险：内置独立沙箱、四级权限与全链路审计，确保智能体每一步操作「计划可审、动作可批、过程可查、结果可回」。

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

7、莲花落遇上AI短剧！“藕花洲杯”用创新表达讲好新时代廉洁故事

经济学者Jeremy Nguyen评论「Codex和Claude Code同一天重置额度」时说，也许多年以后，我们会跟年轻人讲起早期这场「智能体token大战」，讲token当年被补贴得有多疯。

他们证明了WAM架构具有惊人的扩展性，实现了对互联网视频、人类示范、遥操数据甚至失败数据的统一有效利用。

8、周星驰，“到底谁欠谁一张电影票”

它选了粒子流体模拟，物理按真实时间推进而非每帧盲跑固定运算，CSS、界面、渲染全塞进一个HTML文件， 还自动托管成可分享网页。

其中，智元、宇树等技术方，配送任务成功率不低于85%，目标点到达误差不大于0.30 m，动态障碍避让成功率不低于90%。

高速抓取单件小于2.4秒，线束装配亚毫米级，双机协同全程无人干预——这说明梅卡曼德展示的不是实验室Demo，而是接近真实生产要求的系统。

9、22届世界杯无人打破！本土主帅垄断冠军96年，图赫尔能创造奇迹吗

那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。

这2000万条，只占它已留存日志的0.5%，后者的量级是「数百亿条」。

10、黄芪和它是“绝配”，气血双补，还抗贫血，坚持服用，效果看得见

二维版本早在1884年就被提出，当时还附带了一个后来被发现存在漏洞的证明。

那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。

1、35℃高温！免费泼水狂欢！

对此，已经有网友给编成了顺口溜：「一天一重置，限额远离我。

2、英格兰被基恩嘲讽小题大做，赢个刚果就泪流满面唱歌庆祝，没戏！

师徒俩押的是同一句话：智能，从经验里长出来。

3、C罗独中两元，比肩梅西创纪录

于是他们换成在自家基础设施上跑的开源模型，取证才继续下去。最高级的夏季配色，来了！同样，企业也可以拥有自己的向量数据库、知识库和私有模型，却仍然无法持续学习。

4、西班牙VS比利时：4123最强出击，巴萨双核心领衔，最强三叉戟冲锋

FigJam的形状、便利贴、光标聊天、表情反应，一笔一笔都是她画出来的。

5、小黑裙，让人从夏美到秋！

后台弹出一笔即时零售订单：一瓶饮料、两罐罐头、一包软包装零食，几十分钟内要出仓。

6、绿色系裙子这么穿太美了！打造初夏穿搭LOOK，耐看又不显单调

AI强在不做情绪性止损。

第四点，high和xhigh档上多智能体的调用比预期的多，auto-review那边也有浪费，都在修。

OpenAI技术团队成员Ryan Brewer发帖说，大模型居然没掀起一场教育文艺复兴，让他很震惊： 我不是应该一个月就学会一门语言吗？我们到底哪里搞错了？ 类似的质疑X上迅速发酵：手握史上最强的学习工具，为什么AI私人导师还没走进千家万户，教育革命迟迟不来？ 答案不在技术，而在制度的惯性。

7、皇马小将父亲确认儿子今夏离开；巴萨37岁莱万自由身加盟芝加哥

可它偏偏正中靶心，而12个大模型演算104场比赛，敢押佛得角这匹黑马的，只有4个。

从模型到推理框架 面壁这两个模型的推理效率，也得到了推理框架PhyAI的帮助。

8、数万球迷助阵！孝感主场向联赛榜首发起冲击

依托自研KairosRT高性能计算引擎，在保住模型高智能上限的同时，跑通端侧实时推理。

到了Agent时代，这套玩法正在失效。

透明瓶子、塑料袋包装、反光饮料罐混在一起，对传统相机来说几乎是「隐形」的，但这台机器人看它们跟看积木似的，抓得又快又稳。

Axios 还将「Alpha」定义为企业区别于市场的知识，将「主权 AI」定义为企业对模型和连接专有知识的应用层保持控制。