作为参照，过去七年IMO，4347名人类选手参赛，只有30人拿过满分——比例0.69%。

1、kaiyun.com 他甚至让Claude自己设计了一套端到端测试，连着跑了四个通宵，专抓那些没人预料得到的边角问题。

去重、按时间排好、标注来源，最后递到模型面前的是一张能直接数数、比大小、看先后的事实表。kaiyun.com比如，你要在几万个基因中筛选致病靶点，或者在fMRI脑成像中定位数十万个体素的神经活动，极容易产生「假阳性」。

2、250亿估值的叠纸，为什么成不了“米哈游们”？

例如，为AI生成的图像添加数字水印，以及生成人类可读的输出token，以便理解模型的推理过程。

3、4倍空袭后，伊朗全面反击，摧毁85处目标，美国遭遇强硬回击

编辑：大卫 Aeneas新智元报道 21,575。

4、反转

面对这张账单，Uber的COO直接懵了：钱烧成这样，ROI到底在哪？ 紧接着，微软、Meta、亚马逊，一个接一个开始给员工手里的AI编程工具踩刹车。

5、阿根廷10打11！恩佐抱怨裁判+踢人被红牌罚下 梅西投诉对手捂嘴

AI 上班的门槛在于一整套「岗位说明书」，Skill Market 就是钛动给行业写的那一套。

灵犀离替代成熟的真人助理还有距离，田然自己也坦诚，上下文工程需要持续深挖。

这些企业路径不同，但都指向同一个判断：机器人未来的核心，是AI能不能通过这副身体理解现实世界、适应现实世界，并最终改变现实世界。

6、53岁申思把小球员屁股踢肿！终身禁足还执教 能把人送进申花海港

打开这个网页，中间是今天的日期，而屏幕上那八颗行星，正站在它们此刻真实所在的位置上。

参考资料： https://x.com/jenny_wen/status/2076679443754475919?s=20 https://jennywen.ca/ 编辑：桃子新智元报道 【新智元导读】人类迈入全新科学时代！卡半年的弦论笔记被Claude Fable 5一晚破解，AI甚至主动写代码验证自己的预测，AI怀疑论或彻底破产。

7、月薪两万的“造脸人”，快被自己造的“脸”淘汰了

过去可能需要一个IT团队花几周开发的东西，现在半小时就能搞定。

它能做到零延迟、零额外算力开销，开发者甚至感知不到这层检查的存在。

8、含金量拉满！西班牙连斩4支世界前10队 38场不败创纪录 65岁主帅破咒

莫宗坚评价张益唐「不适合代数几何」，认为他的博士生涯「浪费了自己七年光阴，也浪费了我的时间」。

这种把智能体当作某种生命体来设计产品的思路，是他对 5 到 10 年后 AI 产业的押注。

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

9、莫德里奇对得起所有人

小象电动的规划很务实。

用单点参数的领先去击穿物理世界的复杂性，本身就存在风险。

10、Oracle拿下五角大楼近70亿美元软件合同，预计节省至少4.4亿美元

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

前几天，OpenAI大佬亲授，5分钟把GPT-5.6塞进Claude Code。

1、斯堪尼亚两轴载货车来袭，800度电汕德卡G7S牵引车抢眼，工信部第408批新品公示之N类重型货车篇（上）

这种不遗余力的重构，直接铸就了那份最具说服力的成绩单。

2、310米！欧盟第一高楼，坐落于波兰

Flexion 比较特殊——它提出的 Command / Motion / Control 三层自主栈，架构范式与 COSA 的 S2 / S1 / S0 高度趋同。

3、效果图亮相，21号线改道，6万人上海大巨蛋，真的要来杨浦了？

钓鱼成功：15万人围观，业内大佬上钩 最终，这条消息获得了大约15万次浏览量，账号涨了700多个粉丝。难得这样破圈！柳州马拉松后劲真大点（Agent 终端应用层）：商用电器商城 + 智能配电管控系统 它的核心武器，就是Agent Store + ATM (Agent Token Manager) 代币管理器。

4、港交所上市新规今起生效：门槛降低、WVR放宽、保密递表扩围

作为对照，其余十个模型在200次测试里，隐蔽破坏是0次。

5、女篮世青赛一夜三大惨案！中国队23分大胜晋级8强：美国造76分惨案

同一个提示横评显示，磐石得分最高，表现优于Claude Science与GPT-5.5。

6、黄炎培抗战时期夫妻联句诗真迹归藏浦东内史第

这一层覆盖的是L1静态分析没拦住的中等复杂度问题，比如跨函数的数据流污染，以及SQL 注入、远程命令执行、敏感信息泄露这类需要理解语义才能识别的风险。

Rust版6月就随Claude Code悄悄上线了。

第一，聚焦智能体专用CPU。

7、被幸福“折磨”一个月！清北复交、浙大、国科大，让家长很纠结

他深知，高管们不喜欢空洞的抗议，于是利用假期时间，撰写了一份长达25页的《军事AI红线与监督框架》。

作者不是奥特曼，是CFO Sarah Friar。

8、中国人民大学团队提出R3LM，让LLM在生命序列上学会有依据地推理

让它记住你：20分钟的本地配置 教程还提到一步，多数指南都跳过了，偏偏最要紧。

AGX想做的，是把这些碎片插进同一个插槽，拧成一股绳。

该模型有望以极低的成本，完美媲美甚至超越美国最顶尖的AI系统。

面对海量乳腺癌相关变异，尤其是棘手的VUS，研究者得频繁在GWAS群体遗传信号和UniProt蛋白质空间结构之间做跨组学比对。