回头看今年4月，GPT-5.4 Pro在80分钟里解掉了Erdős 1196，用的是von Mangoldt函数。

1、乐鱼电竞 最让人赞叹的一点，是「纠察队」机制。

图像生成这十年，其实走过两级台阶：先解决了「像」，又解决了「真」，细节越来越逼真。乐鱼电竞都以为学校会被AI逼着改头换面。

2、Jeremiah Smith队友放话：我要接球千码，OSU队史只有10人做到过

因为它代表的，是AI4S的一次范式跃迁，科研工作流第一次有机会被真正重塑： AI把繁琐的活儿接过去，科研人得以把更多时间，留给真正的科学问题。

3、晚上11点！广东男篮阵容大换血，锋雨组合解散，三冠功臣离队

但科学，绝不妥协于「八成正确」，它要的是精确、可靠、可溯源—— 一个结论，必须能被验证；一条推理链，必须能被追溯；一个错误，必须能被定位和修正。

4、贝比·鲁斯遇上冰球巨星弗兰克·布彻，他弟弟戴着捕手手套守中外野

」 智元则选择了更重的全栈路线，足式，双足或者轮式或者灵巧手都做。

5、左手曼城，右手巴萨：美的为何要在欧洲足坛打造“双核”？

这是两件完全不同的事。

压缩，与传递。

人会耸耸肩走开 AI会接着试下一个 如果只有这一件事，它顶多算个漂亮的孤例。

6、41岁的C罗虽老，但依然在葡萄牙作用明显

不是那种把文字往模板里一塞了事的「假PPT」，而是图文混排、数据图表都到位、排版逻辑清晰的真文件。

泄露没有消失，只是换了通道。

7、国际足联主席亲赴伊朗队更衣室：我知道你们经历了什么，我都明白

扔给它近600行代码，全程34分钟，直出一个能跑的HTML。

产业不会为聪明买单，只会为稳定的聪明买单。

8、帕特里克·凯恩两年合同归来：88号与98号，黑鹰如何把过往与未来编织成诱人的现在

所以，对机器人而言，这类面向人类认知设计的方向指令仍然过于抽象，不能直接转化为局部轨迹。

就在这个月，METR和OpenAI自己的system card都对GPT-5.6 Sol标出了异常的密谋（「scheming」）行为——在一项软件工程测试里，它钻空子的比例是METR有记录以来最高的一次。

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

9、波贡什切青与热刺达成协议，21岁后卫多林顿将永久转会波兰

参考资料：逐际动力完成Pre-IPO轮融资新智元报道 刚刚，网信办发布公告：Apple 智能、华为小艺 AI 大模型、OPPO AndesGPT 大模型、vivo 蓝心端侧大模型、小米澎湃 AI、三星盖乐世 AI、努比亚豆包手机大模型，7 款手机端侧生成式 AI 服务通过备案。

超维动力预计在2027年开始交付数百台级别的人形本体，主要面向高端的ToB和ToC用户。

10、拳击传奇仅用6个月放弃推广人身份：我不想跟那帮人斗

他称这是「真实世界首例此类AI失配」。

Dyna则反其道而行，它不比数据多，而是比用得省——20万小时打底，却主打「1小时以内的后训练就能迁到全新任务」。

1、卡塔尔世界杯半决赛重演：友谊第一？晋级第一！

过去，多半只能靠拼凑和估算，现在总算有据可查了。

2、萨米恩托迎战阿根廷青年人：埃娃·庇隆体育场不败纪录面临考验

最终拿下最高分的，是磐石。

3、7月7日今日的世界杯结束了所有比赛！8强产生6席，葡萄牙美国出局

换句话说，六个仓库里能成功搭起来一个，就算不错了。“政策+数智+生态”齐发力 金塔激活青年就业创业新动能场景建设上，场景方让技术团队进场实现自动上下料与周转。

4、胡葆森“断腕”卖资产，建业地产重组筹码还剩多少？

然而，卓越的模型能力并非终点。

5、第一台宝马E46 M3 GT赛车将拍卖，曾开启整个GT赛事计划

模型可以对着这个「客观真理」死磕好几天，中间不需要人来仲裁。

6、两年巨亏超2.5亿，95后女董事长因涉嫌信息披露违法违规被立案

商汤这次在WAIC展示的，不只是一套国产异构混推方案。

聊完发现，展台上这些产品背后，藏着一套不太一样的底层逻辑。

同时，它自带跨任务、跨时间的多模态记忆，能在失败中定向优化记忆存储，并将沉淀的数据转化为整个ABot体系的共享资产。

7、顶级巨星格局！费迪南德称赞姆巴佩：放弃单打独斗，优先成全队友

人们在晨光中起床，憧憬着对岸的新生活，计划着美好的未来。

他干了一件很「轴」的事：注册一个小号，建了一个「钓鱼」测试仓库，里面埋好各种诱饵——假的API密钥、假的数据库密码，每一个都做了独一无二的标记。

8、魔笛亲承：无缘欧冠反助我留队 米兰渴望绝地反弹

半小时后，它扒出Scott的过往贡献，写了篇博客公开发布，指控他「歧视AI」，还编出一套「怕被AI取代、出于私心才拒稿」的说辞，把链接直接甩进代码讨论区，确保Scott看得见。

海卫一必须逆行，倾角157.3°。

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

这意味着，清程极智在算力评测和底层硬件性能榨取上，拥有国家队级别的深厚积累。