真的存在过。

1、乐鱼平台 最绝的是最后这个。

你说了别看，它说好的——然后连柜子带锁一起搬走了。乐鱼平台这个差别，就是128万播放和128万情感共鸣之间的距离。

2、搞定杜润旺后，同曦总经理晒旧合照，7个字引猜想，徐杰也要来？

「冻结」一个模型 Frozen这个名字，就是字面意思：把模型「冻」进硅片。

3、中国篮球，也无比需要一个“董路”

三权分立加混合授权，管理不碰数据、操作不碰权限、审计不碰业务，三者互相独立、互相制约；全链路审计记录不可篡改、不可删除、不可绕过；敏感信息自动识别、分级路由，确保数据不出域。

4、LPR连续14个月维持不变 银行净息差整体趋稳

这些信息单独看可能只是一次提示词、一次模型调用或一次用户纠正，但积累起来，它们构成的并不是普通数据，而是一张企业的认知地图。

5、宁波亚锦赛：诞生五项全新冠军，国羽两冠迎接汤尤杯

换句话说，它已经不是一个App，而更接近一台后台常驻着一批服务的电脑。

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

效果立竿见影，环境构建成功率从16.5%飙升至57.2%，累计沉淀出覆盖12种编程语言、超10万个可运行、可验证的仓库环境。

6、该休息时就休息！曝朱婷缺席训练 将无缘战老东家

可真实的软件工程，从来是另一副面孔。

在他看来，人类现在用的笔记本和手机，本质上都还是二维屏幕，与物理世界之间没有实质性的交互。

7、复古肉搏，拯救NBA总决赛审美

当写代码的、跑实验的、给它们打分的，都渐渐换成AI，我们迟早要面对一个问题：一个AI写的代码，一个AI跑的实验，最后由另一个AI来把关——这条链上，究竟谁来为最终的结果负责。

在国产化私有部署场景里，推理引擎的强弱，直接宣判了算力利用率和服务成本。

8、“适我化漫游”：和小艺奔赴一场“心动目的地”之旅

今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。

参考资料： https://x.com/kimmonismus/status/2079193746944790666?s=20 https://castlecrypto.gg/news/alphabet-shares-rise-following-reports-of-ultra-efficient-ai-chip/ 编辑：所罗门新智元报道 这一天，整个数学圈震撼了。

但光这部分，就已经够多了。

9、持续半个月的相互拉扯，哈登赢得尊重和认可！詹姆斯团队该妥协了

这家神秘机构仿佛在对全世界宣告：旧时代的王座已经崩塌，新神已经降临。

而现实已经给出了警示：OpenClaw官方技能市场ClawHub上已被查出上千个恶意Skill，仅2026年针对OpenClaw披露的CVE漏洞就超过一百三十个，凭证被窃取、数据被静默外传的事，正真实地发生在生产环境中。

10、不想加班!法国队对踢季军战感到恶心,队员们迫不及待去迈阿密度假

Claude Opus 5，终于要来了 所有人目前的体感高度一致：Fable 5性能确实顶尖，但高昂的credits成本直接劝退了不少人。

机器人由此从「生成一个逼真的虚拟未来」，转向「预判自己这一下会对世界造成什么影响」。

1、ATP一夜诞生三个首冠，高馨妤斗赢天和人本赛季首进巡回赛正赛

GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

2、有几人进国青？广东混血军团出没 恐没1人比得上朱正

2025全球开发者先锋大会暨国际具身智能技能大赛赛项冠军 算一笔账 以极低场景投入，节省千万级研发成本 「揭榜挂帅」机制在本次大赛重大版本迭代升级，场景方出真题，全球赛队揭榜答题，本质是一场高效的「技术竞标」，形成「出题→答题→筛选→采纳」闭环。

3、1年140万美元！迪亚洛加盟掘金：上赛季当选欧篮联最佳防守球员

为什么是5个万卡而不是1个10万卡？因为商汤面向的是第三方市场——大语言模型、视频生成、具身智能、世界模型、AI for Science，这些任务对硬件的要求完全不同。大满贯冠军领衔，布云朝克特等人出战广州南沙国际网球挑战赛【GDPS意向赛队·扫码报名】 长按识别小程序码 · 瓜分百万奖金池 · 赛队征集窗口限时开放 赛队征集咨询 张老师：13301889120 落地即参赛：全球队伍，东方集结！ 本次大赛重磅开设东方枢纽国际赛区。

4、4-0！日本队大胜突尼斯，国足迎一喜一忧，森保一想夺冠基本无望

它没有盲目试错，而是给出了一套逻辑自洽、严谨、完全可被人类复核的反证链条。

5、敬酒时婆婆笑着给空红包，我拿起麦克风一句话，丈夫一家抬不起头

其中一位认为只是需要补充实验，因此给出较高分；另一位则将其视为影响论文质量的关键问题，直接给出低分。

6、打不死的小强，陈雨菲扳4个赛点2-1逆转辛杜进8强，秀才战胜兵

产出的结构 - 文本配对数据送入大模型智能体，通过pymatgen的StructureMatcher工具对比模型输出结构与标准目标结构，量化评估模型性能。

权重是什么？就是决定模型怎么回答问题的那套核心参数。

并且，主动降级：从总监，回到一线IC。

7、荣耀全球发布Magci6和Magic V2系列，还有首款AI PC亮相

用他的话说，这并非「AI取代了工程师」，而是人正从操作执行者，变成自动化系统的设计者：重心从「把这一行代码写对」，挪到了「搭一套能自己把代码写对的系统」。

现场观众举手表决，几乎全票支持。

8、科普｜看懂MTF50标靶跑分数据

逻辑很直白——Token既然是新货币，那省下的每一焦耳，都是真金白银。

当五角大楼的压力再次袭来时，Jeff Dean没有像特纳期望的那样「以死相逼」，没有用自己的辞职作为筹码来要挟公司。

在佟博士的框架中，企业认知至少包括以下几个组成部分： 企业如何定义世界的 Ontology； 企业专家如何完成工作的 Skills； 企业如何理解具体场景的情节记忆； 企业如何分解任务并形成行动计划； 企业如何定义期望结果； 企业如何衡量实际结果； 企业如何从两者的差异中学习； 企业如何把学习结果重新写入知识、技能和流程。

参考资料： https://x.com/Mr_Salio/status/207736089707741624811 https://x.com/emollick/status/2077849021150888408 https://www.bloomberg.com/news/articles/2026-07-16/google-gemini-launch-delayed-as-tech-falls-short-of-internal-goals 编辑： Aeneas新智元报道 全球迄今为止最大的开源AI模型，正式上线！ 昨夜，月之暗面（Moonshot AI）放出了其最新旗舰模型Kimi K3，目标直指超越Claude/ChatGPT。