据公众号「科技大满贯」统计，本次中国队没有高三选手: 作为首次举行IMO的中学，上海中学累计斩获20枚IMO金牌。

1、天博官方 左右滑动查看 数学直觉的正面交锋 P1是全场最温和的开胃菜，所有模型几分钟搞定，人类选手也几乎无一失手。

第1个测试是AI综合能力。天博官方本方法的隐蔽性体现在两方面：一是干净输入上效用基本无损，二是被触发时输出为随请求变化的生成文本，而非统一模板。

2、比赛今晚开打，申花队却遭当头一棒，妥妥坏消息，晋级足协杯8强悬了

他转发了这段短片，紧跟着甩出一句话： 「在今年结束之前，Grok Imagine将制作一部全长电影版《奥德赛》——历史准确、忠于荷马的艺术。

3、梅西加冕历史助攻王，潘帕斯雄鹰加时涉险过关静候英阿大战+

WAIC现场亚毫米级线束装配，就是「手」的极致体现。

4、被怀疑泄露“万斯曾计划用副总统专机送儿子上高尔夫球课”消息，美特勤局一名特工被停职调查

田然讲了个很生动的例子。

5、“车机被锁”事件反转：系车企防止黑灰产跨国盗窃安全策略

这个通用Agent产品的愿景，是Jenny早在2025年就定下的。

整个流程可以概括为三个环节。

模型公司不再只是向企业出售知识，反而能够通过企业的使用过程，理解企业是如何思考、如何工作和如何创造价值的。

6、德甲黑店罕见亏本！29岁中场悍将0转会费，欧洲三强同时出手争夺

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

职能还在，但人人都多了一层「调度AI去干活」的通用能力，成了跨学科的通才。

7、大暑养阳正当时！如何安稳度夏？黄浦多家医院支招→

用Python工具链，每个平台编译要8分钟，整个构建矩阵每次发布得等上半小时。

跨环境实测中，以人类视频为上下文的基线方法，性能保留率仅剩14.7%，几乎等于归零；而WAM-TTT则把这一数字拉到了75.6%，压倒性胜出。

8、一汽解放与安能物流签署战略合作协议

这一开放底座是逐际动力区别于 Figure 全栈闭源的关键：不止展示能力，更把工程基础设施交给社区，被开发者复用。

这次搜的，是你自己ChatGPT账号里攒下的东西。

BH程序就是那个保证「你宣称的重大发现中，错误结论比例不会超标」的安全阀。

9、双城 借网红流量点燃乡村烟火经济

而PixVerse，正在铺就这条通往未来世界的铁轨。

老师把一件重复活交出去一次，之后每个上学日，它都能替你跑一遍。

10、如何用acme.sh为Apache配置Let's Encrypt免费证书？

第四种，主动循环（proactive）。

知识库解决的是「系统知道什么」，但企业认知系统还必须回答： 系统应该在什么条件下使用这些知识？ 应该调用哪些技能？ 应该采取什么行动？ 什么结果才算成功？ 失败应该归因于知识、技能、计划、执行还是环境？ 学习以后，系统应该修改哪一部分？ 因此，认知主权比数据主权更深一层。

1、用刀片割肿瘤谎称“气功治病”，骗了癌症晚期患者360万，法院判了

当你对纠缠熵提出学术质疑时，它能精准回应、并补充多模型对照数据。

2、外交部：愿在人工智能领域落实好中美元首重要共识

这不是游戏，也不是影视——这是一种全新的东西 在理解Chloe的视频之前，你需要先理解它到底是什么。

3、3个春夏最实用的内搭招式，照着穿！

在共享的理解与推理之上，模型会根据具体任务，连接对应的科学解码器。南京突降冰雹，江苏强对流天气持续发力，谨防雷雨大风参考资料： https://x.com/claudeai/status/2078302415804379218 https://x.com/IamYashKapoor/status/2078223827411325348 编辑：Aeneas新智元报道 17日凌晨（当地时间16日上午11点），Kimi K3发布，全网刷屏，开源AI迎来第二次「DeepSeek时刻」。

4、德转、AIPS、IFFHS、SS、WS等认证梅西是世界杯MVP！

凭什么说「越用越懂你」 灵犀跟其他AI产品拉开差距最大的地方是它的记忆工程。

5、安切洛蒂是被逼的？内马尔入选国家队另有内幕，老将抱团谈判特权运作

与之对应，万拿 Eco12 定位为轻量拟人型灵巧手，也是一款「用得起、用得上的拟人化遥操手」，面向遥操作、人机交互、科研教育、机器人展示及轻量化应用验证。

6、不干掉美军，统一白打！若大陆开始武统，三种战略方案如何选择？

今天它们拼的是积木，明天要拼的，是制造业里那20%仍然离不开人手的工序。

关键问题：能否在不牺牲任务成功率的前提下，通过后训练，让已有VLA策略自动学会「少走弯路」，用更少物理步骤完成任务？ 来自四川大学雷印杰教授领导的团队提出了PolicyTrim——一个面向「策略效率」的两阶段强化学习后训练框架。

其实，这个想法早有前身。

7、1.4亿球星领衔！这些球员都无缘美加墨世界杯！意大利队集体压轴

爱诗科技创始人兼CEO王长虎提出了一个犀利的观点：游戏是世界模型的硬核试炼场。

这说明低质量的尾部预测会把误差带入物理世界，机器人随后需要更多纠错动作。

8、40分钟落下40枚弹道导弹！俄高密度攻势摧毁基辅10万平物流中心！

今天它们拼的是积木，明天要拼的，是制造业里那20%仍然离不开人手的工序。

但有一道鸿沟，从来没有被真正跨越——你永远知道，你是在看历史，而不是在历史里。

目前更现实的价值，是快速构造互动原型、生成过去难以预制的长尾内容，以及验证一种新的创作关系：玩家不仅在设计者提供的选项中行动，也可以用自然语言参与定义世界。

体验过的网友，直呼K3堪比Fable 5： 要是把Kimi K3的名字换成 Fable 5，大家就会信它。