到了(b)部分，三个模型殊途同归：都证明了对每个素数p，黑板上所有数被p整除次数的最大公约数在操作中不变。

1、乐鱼电子 作为年轻创业团队，它没有历史包袱，从技术架构到产品设计到商业模式，全部从AI原生的逻辑出发。

换成别的AI你可能得上传一堆文件写一大段需求，但灵犀的第一件事不是直接开干，而是去记忆库里「深挖」——第一层找到竞品数据追踪表模板，第二层看数据结构，第三层挖出老板对这类报表的偏好。乐鱼电子其中，智元、宇树等技术方，配送任务成功率不低于85%，目标点到达误差不大于0.30 m，动态障碍避让成功率不低于90%。

2、林青霞眼中“最靓的女人”，为什么施南生必须被记住

参考资料： https://www.youtube.com/watch?v=F_7M4Hc-usM https://x.com/hesamation/status/2073884828861071557 https://x.com/ryanbrewer/status/2073812031988535760 编辑：元宇新智元报道 困扰统计学界整整20年的核心悬案，被AI击碎了。

3、莱昂纳多去年在上港进球如麻！为何如今却陷入瓶颈期，原因找到了

本来要打一场翻身仗，结果自己先把地基炸了。

4、为什么巴萨签下阿德耶米？2200万、门德斯与弗里克的一次抄底

它接管的，是一个 P4 级数据分析师过去每天的全部工作。

5、山东男篮引进钢炮型内线，可作陶汉林替补，护筐短板交给外援解决

GDPS赛场上打磨出的好项目，有机会在WAIC被更多人看见。

当时，OpenAI副总裁Kevin Weil转发了Mark Sellke的帖子并写道：GPT-5刚刚找到了10道此前未解的埃尔德什问题的解，另有11道取得进展，这些题都已经开放了数十年。

他们推演公式、运行庞大的模拟实验，甚至给出了强烈的预感：BH程序应该依然有效。

6、四大争议判罚全解析！VAR机构认定：主裁4次判罚全部正确

日语 —— 温暖+0.07σ，标志性行为是「先承接你的情绪，再说事」。

用徐立的话说：在人类眼中甚至可能产生幻觉的信息，在AI的眼中，其实可以正确推断出背后的结构化信息。

7、以前看体育广告想静音，现在想二创

张益唐，因在孪生素数猜想上的突破性贡献而名震全球，但在此之前的几十年里，他的经历堪称学术界悲剧。

她的评价一针见血，Fable 死磕技术上的绝对精确，反而作茧自缚，Sol的务实却把活干成了。

8、换个环境吧！1个场均3+3，1个场均2+2，2人互换东家 有望完成逆袭

正整数的字典序不可能无限递减。

AI每写出一段代码，一落地就会被扫描。

6月，谷歌签下了一纸合同：每月向SpaceX支付9.2亿美元，租用11万张英伟达GPU的算力，合同一直签到2029年。

9、SKIMS 亚洲旗舰店落户中国香港

过去一年里，从o3到各家旗舰，一茬又一茬的模型冲上来，全卡在130的门口，谁也没能真正踏进「天才区间」。

论文进一步盘点了十一项系统级防御各自能覆盖哪些攻击类别（图4）。

10、杜锋弃用球员成国家队首发，徐昕、焦泊乔渴望证明自己

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

三是三层奖励。

1、豆瓣5.5，今年最难看的爆米花电影就是它了

当数据飞轮真正转动起来，当模型开始从与真实世界的每一次交互中学习，那道「Scaling Law的物理墙」，终将被推倒。

2、梅西的人生经过梳理，就成了阿根廷新的足球史

这个循环可以概括为： 其中： K是企业已有的知识、本体、技能和记忆； S是当前业务情境； T是需要完成的任务和目标； A是智能体生成并执行的行动； R是实际结果； ΔR是预期结果与实际结果之间的差异； K'是企业根据这次执行更新后的新认知资产。

3、“我的生命就是进球”：哈兰德领军挪威冲击世界杯4强

如果签下，就意味着他们的模型将被用于制造致命自主武器（杀手机器人），或是建立大规模AI监控网络。球队输球，文班亚马却意外收获好消息！联盟或“逼出”最强马刺队一年预算砸下去，建了几十个模型、上百个应用，年底要跟大领导汇报成效。

4、知情人士：预计威斯布鲁克不会重返国王队或华盛顿奇才队

都以为学校会被AI逼着改头换面。

5、普陀山5 元水售罄后续：3 元机常年断电，只不过这回游客更硬气！

Anthropic给它的定位很明确：帮老师减负，把他们省下的时间还给教学，还给那些没法被自动化的、人与人之间的真实连接。

6、2-0！2-1！世界杯半决赛首场对决出炉！法国迎战苦主，谁赢球或谁夺冠

只是能看到实时数据，那还只是个会自动刷新的看板。

OpenAI研究员Noam Brown所感叹：「这与之前解决Erdős单位距离问题不同，这次创造奇迹的模型，是今天对所有人公开可用的！」 网友惊呼：证明令人叹为观止，AI改变数学！ 幽灵般盘旋了50年的数学魔咒 循环双覆盖猜想，是图论里的「皇冠级」难题之一，由Tutte、Itai与Rodeh、Szekeres、Seymour等多位数学家在上世纪各自独立提出。

主持人抛出的几乎每个问题都很尖锐。

7、2025年中国篮球名人堂入堂名单揭晓

但这样做根本撑不起真正的智能体时代。

为什么说是「真·助理」？田然（金山办公助理总裁）在发布会上的总结特别精辟——助理度过试用期，靠的从来不是文笔多好、推进力多强，而是你能不能跟老板磨合好。

8、恭喜！中国女排16岁1米82新星崛起：小丁霞助队夺冠+MVP

这次他休假回来，一边收拾行李，一边让Claude按同样的标准，分析他自己的基因组。

此芯科技CMO Danny Zhang正式发布AGX Agentic Compute系列产品，并给了AGX一个定义： 首款从底层架构开始，就为智能体计算量身打造的异构计算平台。

从7月20日开始，Claude Fable 5将直接包含在所有的Max和Team Premium订阅方案中（虽然额度被限制在50%）。

姚期智院士在2025全球开发者先锋大会暨国际具身智能技能大赛的致辞 大赛专家指导委员会主席由姚期智院士挂帅（图灵奖得主、中国科学院院士），首创「人工智能专家+具身智能专家+人类技能大师」三元评审体系，为GDPS赛事评审标准与技术方向把舵定调。