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

1、亚娱体育 借助PixVerse的多模态模型与实时互动技术，三位创作者一边用AI加快画面生产，一边坚持人工完成剧本、台词和审美把关，甚至重新手绘部分关键帧。

智能体（AI Agent）从概念走向落地，算力需求的重心也从「训练」向「推理与执行」急速迁移。亚娱体育这回，Anthropic将目光盯准了K-12老师的整条工作流。

2、间谍天堂？纽时爆大批俄特工潜伏东京，日本成俄武器供应链

超维动力在做的，是全栈具身智能大模型公司，把本体、模型、数据和工程平台真正焊成一个闭环系统。

3、万斯安保团队成员涉嫌泄露机密行程遭调查

国外的开源推理引擎（如vLLM等）是原生为英伟达生态设计的。

4、连续第三次杀进半决赛！现在的法国直逼巅峰巴西！

数据是企业的资产，模型是企业可以使用的资源，而认知系统才是企业在 AI 时代真正的大脑。

5、国人专属体重标准发布！以往的标准衡量会漏掉近70%的高风险人群

它可不会替你做单选题，而是两头都当圣旨，当场精神分裂。

回到奥特曼那句预告。

加入供应商矩阵，产品、技术与品牌将直达千万年轻高知群体，触达数百支全球顶尖赛队与头部企业，在真实场景中共同进化，即刻共享场景落地快车道。

6、10.27公里！39岁梅西苦战120分钟已燃尽 原本想打酱油结果还是大腿

Anthropic在这份报告所做的，是趁智能体还没被交出更多权力，先把这些藏在暗处的失败模式挖出来，变成可以测量、可以防范的靶子。

假奖杯、假难民、假行善，一场教科书级的AI慈善骗局，正在疯狂收割大众的善良。

7、快看！“楚超”积分榜、射手榜更新，孝感队排名→

电送到了终端，用户该怎么用？ 清程极智打造了面向企业、开发者、各类Agent的一体化终端生态治理节点，补齐了Agent从下载部署到成本治理的最后一环。

康德的范畴理论本质上是一种关于「可理解性」的本体论承诺：只有能被纳入这十二种范畴框架之下的东西，才能成为知识对象；超出框架的「物自体」永远不可知。

8、曾向传奇穆里尼奥许愿的凯恩，愿望得以实现：想和梅西、C罗一样

好在，就在刚刚，面壁智能把具身智能的这块致命短板，补上了！ 7月19日，WAIC现场，面壁智能开源了首个具身智能系列模型成果MiniCPM-Robot，包含2个模型：MiniCPM-RobotManip（通用VLA模型）、MiniCPM-RobotTrack（跟踪导航模型）。

氛围、光影、文字、构图，一次到位。

跨环境——深筐、货架、流水线、狭窄空间都能应对。

9、诺和诺德申请初步禁令禁播礼来广告，指控对比不当、宣称未经证实；礼来：科学为据

Noam Brown指出：「增加模型的TTC（让它思考更长时间）能带来更高的智能。

至于该怎么重写，全在OpenAI悄悄出的一份提示词指南里面—— 说清你要什么结果、画好硬约束的红线、交出手里的材料、定好验收标准。

10、四部门印发《综合运输服务发展“十五五”规划》

在未来的科研范式里，「寻找答案」和「构造推导」将不再是人类智力的最高体现。

Anthropic也毫不示弱。

1、从“堪比黄金”到“普惠刚需”，华熙生物20年的科技普惠之路

即便在60秒、1fps的长期记忆场景下，算力也仅约3.3 TFLOPS，始终低于pi0.5的5.0 TFLOPS。

2、北大喜提“双菲”，也不是因为非争不可

智能体的负载和聊天机器人完全不是一回事——它要连续思考，要频繁调用工具，要在长上下文里维持记忆。

3、10球大战！英格兰6-4法国收获季军！今年世界杯最疯狂的对决诞生

按照传统3D游戏管线，仅一个角色从建模、绑定到调整，往往就需要四五个月；再制作一段15至30秒的动画，还要叠加两三个月，以及动捕、手K、特效等一整套流程。孝感VS武汉！没抢到票的人，来这里！这说明系统学习到的不是「某条路径」，而是一种可迁移的导航决策能力。

4、出现7种面相，可能是疾病或癌的预兆，别以为是“福相”

不加说明就是噪声，标清坏在哪就成了错题集。

5、备战主汛期！潍坊消防14车80余人开展水域救援实战拉动演练

未来尚未写就 AGI有潜力成为推动科学与医学进步的终极工具，并带来巨大的生产力跃升与经济增长。

6、卡塞米罗选择与梅西合作，称这是他最后的梦想

模型参数还会继续膨胀。

但故事还没完，它引出一个更大的问题： 当这一代孩子长大，AI早已像空气一样无处不在，一个从小只被老师「用AI教」、自己却没真正上手用过AI的孩子，能真正做好准备吗？ 这个问题，Claude for Teachers还没打算回答。

游戏不只要画面，还要规则、反馈、角色一致性、情绪递进、互动结果。

7、白岩：弧光映初心 焊花铸担当

这次伏笔被兑现了，机会留给了早有准备的人。

Grok 4.5在P6上只挤出7053个token，全场垫底。

8、正式确定！1米85塞尔维亚前国脚驰援山东足坛，名帅钦点强援加盟

就在上个月末，谷歌紧急更新了训练数据，试图做最后的冲刺来提升编码能力，但结果 「令人失望」 。

万拿机器人从微型伺服电缸等底层核心执行器切入。

2、从侧边栏中选择「安全」（Security）。

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