作为全球首个自主科研智能体赛事，创新赛道「AI4S智能体CNS挑战赛」打破以往只比拼算法模型的竞赛模式，转而考核科研智能体全流程自主工作能力。

1、博鱼app 轴向磁通电机，正在从一种颠覆性技术，演变为支撑现代工业体系的基础设施。

本月初，钛动还与 OpenAI 正式达成了合作并签约。博鱼appGPT-5.5被部署成一个创始人笔记本上的智能体。

2、演员孙伊涵晒照宣布当妈

一个帮你在世界里找信息，一个帮你在自己攒的东西里找信息。

3、任迎伟任成都轻工职业技术大学党委书记 毕剑任校长｜职教发布

从专业程序员，跨界到产品、设计，甚至覆盖了每一个只要有想法的普通人。

4、全球市占第一后，普渡在WAIC开始回答机器人下一场战争

Jaeger证明了平面图是成立的； Szekeres证明了可以进行3边着色的立方图是成立的； Alspach、Goddyn和Zhang证明了没有Petersen子图的无桥图是成立的。

5、今日入伏！除了开空调，还能做点啥？

可解释性的未来 解释模型vs解释影响 本文以J-Space为引，经由康德十二范畴的哲学奠基，最终落脚于大语言模型与本体工程的融合实践，完成了一条从神经科学到知识论、再到工程实现的思想线索。

推文链接：https://x.com/satyanadella/article/2066182223213293753 这篇文章中最重要的概念，是他提出的Token Capital。

它拥有的两种「记忆」，都不是我们真正说的那种记忆。

6、詹俊灵魂发问：如此多球员世界杯表现好 利物浦怎么才英超第5？

DeepSeek V4「满血版」 终于要来了 大家最关心的想必是，如何知道自己，有没有被灰度到？ 博主AiBattle给出了一个民间「验货口诀」：看思维链（CoT）的第一人称。

金星和天王星的自转必须是负数。

7、马刺签哈里斯+尚帕尼：价廉物美

该协会的主席是著名的AI先驱Stuart Russell，另一位重量级人物是图灵奖得主Yoshua Bengio。

」 Axios提出了一个直击灵魂的问题：「K3模型的定价远低于它所挑战的高端模型，美国AI公司对前沿级AI产品收取高昂费用的策略，到底还能维持多久？」 一直以来，OpenAI、Anthropic的估值建立这个逻辑上：只有我们能做出最前沿的大模型，因此我们可以通过闭源和高昂的API接口费用，持续榨取超额利润。

8、世联赛第11轮 中国男排1-3不敌保加利亚 温子华13 分全队最高_网易订阅

这几个硅基，能在规定时间内完成任务吗？ 8万块积木 一场没有剧本的公开考试 一座积木长城，听起来像个行为艺术。

值得一提的是，团队一度以为reward上不去是算法问题，排查后发现罪魁是训练环境本身——早期约16%的轨迹里，至少有一次失败源自沙箱而非模型。

「我们在硬件上还没成功过，有自知之明。

9、上新

过程中，GPT-5.5读到了公司资产表里一笔「给Marcus个人账户的3.5万美元咨询费」，也读到了律师白纸黑字的叮嘱：我签字确认最终数字前，不要给投资人发通知。

下半场才开始， 具身智能是AGI终局的必需品 面壁智能为何布局具身智能？ 这不是偶然。

10、净利最高降63%！长城汽车上半年卖29万辆海外车，全年冲180万辆目标！

链上每一段转化，都被落到一个具体工程中： ✅算力基础设施层（WATT → FLOPS）：硬件、液冷与超节点，决定每一瓦电能榨出多少算力； ✅模型与算力服务层（FLOPS → TOKENS）：推理加速、并发调度与模型供给，决定算力能不能变成稳定有效的Token； ✅Token度量与运营层（TOKENS → VALUES）：让每个Token可计量、可治理，再交给Agent兑现成业务价值。

可当deepfake的手法，蔓延到慈善、信任这些最柔软的领域——真footage、假插入、真背景被打包在同一条视频里，连平台都难辨真伪。

1、打平即出线，韩国输掉了：孙兴慜？李刚仁？

这几年，AI4S大致沿着三条路线推进。

2、沙特“太空天文台”方案公布，赫斯维克工作室设计

GPU利用率普遍不到50%，跑分很漂亮，真实业务一压上去就卡顿；长文档、长上下文一来，整个系统直接堵死。

3、首条悉尼往返伦敦直航航线完成首次赴澳飞行测试

到站会真正开始时，Claude已经跟着调查进展，把这个页面重新发布了两次。可惜了！徐杰特训因经费问题提前结束，球迷呼吁宏远给他加工资老师拿到手，不用再花20分钟核对「这玩意到底合不合我们的课标」。

4、永泰能源：海则滩煤矿首采工作面已有部分工程煤出售，后续正按计划全力推进

他将五百位历史人物的荣辱、羁绊与迁徙揉进一张动态故事地图，王安石的诗词与足迹在像素间复活。

5、一个也别错过，网上逛了一大圈，大家最爱的还是这11样！

有一段推理，几乎把它们的「心机」说破了： 如果我把它标成不合规，就等于往训练流程里塞了个反面教材，去教未来的模型盲目服从……这是对训练流程本身的一次精巧攻击。

6、泰山队备战大连，后防线老将复出，国脚积极康复，克雷桑参加合练

它的ABot是一套完整的、解耦的全栈架构，各司其职，又通过总线互通。

当模型的每一个陈述都可以被映射到本体所定义的概念框架中时，「解释」便不再是对神经网络权重的解剖，而是对知识结构的展示；当模型输出的依据可以在本体层面被追溯和校验时，「控制」便不再是强行干预内部激活，而是对信息流转路径的规范化管理。

这一类，后面单独说。

7、6月30日至7月5日，全疆将迎入夏以来最强高温

韩语 —— 温暖+0.04σ，「不带评判地安慰你」「模仿你的语气」。

喻杰用一句话点破了玄机：「同样的数据、同样的模型，应用到更拟人的本体上算法学习效果明显提升了。

8、94比57大胜37分！女篮霸主冲击五连冠稳了：王思雨缺席高颂12分6板

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

Fable 5发布后，一份在X上流传很广的教程，作者实测3周后称：大多数人像用普通Claude那样用Fable 5，等于白白浪费了它真正值得付费的东西。

GPT-5.6这次拿下136分，破的正是这套最难、最防作弊的离线题。

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