Ontology 主要回答： 企业世界中有什么对象； 对象之间有什么关系； 当前状态是什么； 哪些行动可以作用于这些对象。

1、半岛买球 用户qrdl在论坛发帖，说CritPT自5.4以来几乎没动，除非他们找到了给基准刷分的办法，否则结果也就这样。

用他的话说，这个领域跑得太快，快到里程碑还没来得及被认领，就已经被下一次发版盖过去。半岛买球所以Frozen v2不会做到TPU的产量规模，更像一次有限度的试验：赌对了，就是印钞机，每瓦电多榨几倍Token，数据中心省下来的电费和机柜都是纯利润；赌错了，就当交学费，教工程师学会怎么造更专用的芯片，为下一代积累经验。

2、太意外！台积电，直线大跳水！刚刚发布，猛增超77%

现在扫码 · GDPS专家征集 三元评审体系，为GDPS赛事评审标准与技术方向把舵定调 【GDPS专家·扫码报名】 长按识别小程序码 · 执裁行业顶级赛事 ·专家征集窗口限时开放 专家征集咨询 徐老师：13301886886 赞助商征集 赞助商征集现已正式启动，跨界赞助与专业赞助双轨并行。

3、ASM申请用于形成含硅膜的组合物专利，可用于形成硅氮化物膜

获得「前沿实验室」的认定将是一份重要的声望，而这扇门对任何组织敞开，只要造出达到基准标准的模型即可。

4、退役“新三样”也是资源库

但DeepSeek从来打的，就不是这张牌。

5、中国当代画家，喻红丙烯画近作

第三，专家研讨会。

旗舰再强，也得先落地。

具身智能机器人，正是目前最完美的「高附加值」试验场。

6、余文乐宣布离婚！与王棠云结束9年婚姻关系，3年前曾传婚变

本体工程在此提供了关键的实践框架：通过构建AI友好的、可被模型调用和追溯的语义骨架，我们得以将模型的推理锚定在明确定义的知识结构之上，使输出所依赖的类、属性和关系获得可形式化描述与可追溯验证的工程基础。

具身智能真正的未来，是走向AGI，是在开放、未知、充满长尾变数的真实世界中执行高度泛化的任务。

7、伊朗称伊斯法罕省遭美国袭击

Physical Intelligence、Genesis AI、Dyna Robotics、Sunday Robotics等海外明星机构，与智元、清华大学、腾讯Robotics X等学术与产业力量同台，一众具身智能核心人物悉数到场。

具体来说，KAT-Coder-Pro V2.5在三个关键维度实现全面突破： 长程工程能力、通用Agentic能力，以及支撑这一切的大规模Agentic强化学习体系。

8、清华女博士做企业Agent，叫板千亿巨头

对于材料建模而言，语言推理能力、文本知识储备和原子级结构行动能力之间，不能直接画等号。

第二步，交互：在文档右边的对话框里，人和AI充分对话、反复修改。

所以，在AI for Science这条赛道上，真正的壁垒是「模型懂不懂科学」。

9、晒出317万年终奖后，腾讯一员工被辞退

」 更是有人原地开始拉踩诺兰。

35年后，这篇论文被一页纸超过了。

10、快造科技C轮融资10亿，创3D打印两年内最大单笔融资

门槛在于把隐性经验翻译成显性指令。

实测显示，首Token延迟（TTFT）直接降低了51.5%，单Token成本再降37.5%。

1、有一种痛苦叫住进“竖厅”！空间小，过道长，看着大气，住着憋屈

当杀手机器人的潘多拉魔盒被打开，那些曾发誓捍卫人类底线的AI大佬们，究竟在干什么？ 以下，是Alex Turner用离职换来的惊人真相。

2、西班牙刺倒法国：兵不血刃，叶不沾身

Token按量卖是收入，每一分技术优化省下的成本，不用降价让利，直接沉淀成毛利；省得越狠，赚得越多。

3、中国金融投资管理(00605.HK)授出890万元贷款

探索阶段则保持完整去噪流程，避免把不稳定输出反复放大。合同到期！CBA拼命三郎能否重返广东？期待辅佐徐杰、胡明轩这次谷歌步子迈大了。

4、吃一次广东龙舟饭，才懂什么是豪华盛宴

暂停时行星表面自转也得停，倒放时要反向回退。

5、世界杯：重蹈日本覆辙！非洲杯退赛埋下伏笔，塞内加尔自食恶果

他们将IMO 2026的全部6道考题，逐字逐句翻译成了机器能够理解的Lean 4形式化题面。

6、专盯农村留守老人设局！四川资阳一男子戴头盔躲监控冒充工头借钱被抓

宁德时代、延锋、国药控股、复旦附属儿科医院……一大批场景单位，正在把服务场景、真实产线、流程痛点搬到GDPS赛场上。

本体工程在此提供了关键的实践框架：通过构建AI友好的、可被模型调用和追溯的语义骨架，我们得以将模型的推理锚定在明确定义的知识结构之上，使输出所依赖的类、属性和关系获得可形式化描述与可追溯验证的工程基础。

从工程角度看，这项工作也强调了算法稀疏与实际系统加速之间的差距。

7、CBA辽篮速递！辽篮又签潜力小将，付豪一天两练追求大合同，七月初球队迎来两场训练赛，教练组再添新人

这种辅助决策式的购物体验，会远大于货架式的搜索体验。

各方爆料一起涌出：谷歌的终极杀器——Gemini 3.5 Pro，代号「Cappuccino」，将在48小时内正式上线！ 200万的超大上下文窗口，全新的「深度思考」推理模式，据说内部评测已经吊打了GPT-5.6 Sol和Claude Fable 5。

8、厨房里的“隐形刺客”被我揪出来了！这5种便宜货，谁买谁后悔！

最新的数据进来，共识变了，它就跟着修正了自己。

参考资料： https://x.com/demishassabis/status/2076957440109625718?s=20 编辑：大卫 所罗门新智元报道 【新智元导读】大模型在原子操作任务中遭遇瓶颈。

每一个被提出的候选证明，都要被拿来疯狂攻击。

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