第二问，Beck在1991年拿下，证明存在某个c>0，使得max_{n≤N} M_n > N^c。

1、KOK官方 以恶意插件为例：它以原生代码直接在网关进程里运行，完全不经过大模型，任何只盯着工具调用接口的评测都天生测不到它。

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。KOK官方Amazon 研究员随后独立报告了另一种绕过方法。

2、未来5年，孩子上学有这些大变化！

这份「会思考」的本事，就来自「图文交错思维」。

3、宏远速递！徐杰将获顶薪续约资格，徐昕回归新进展，广东四旧将再就业

于是护城河换了「品类」。

4、女篮热身赛被央视弃播？中澳大战不播了：张子宇能率队复仇澳洲吗

真正容易出现偏差的，恰恰是第二步。

5、哈兰德更高更快更强，伊拉克足够悲壮

它指出企业需要积累AI能力，却还没有完全回答这些能力到底以什么形式存在、如何被管理、如何被验证、如何被更新，以及如何防止它们依附于某一个模型供应商。

Andreessen给出的判断标准很简单：模型是否达到或超过一个聪明人的通用认知能力。

模型不关心你用了哪张卡，用户也不关心你机房里有多少P算力。

6、韩国最贵离婚案！SK会长赔偿前妻9440亿韩元，他的人生比韩剧还狗血：总统女婿、两度入狱、AI暴富…

他提出的TUTOR方法把长程任务的自主成功率从8.3%拉到35%。

那条乌干达孤儿院的视频里，欢呼的女子、举棒棒糖的孩子、身后的横幅，全是AI凭空捏造。

7、科普｜说说高原旅行那些事儿

题目来自humanize，一个真实的Python开源库。

今年5月，一篇通稿宣布Lily Jay荣获「2026年Austral-Global人道主义卓越奖」，配了两张她领奖的照片。

8、泰山队抵达北京，三外援面临更大挑战，本土球员谁能成亮点

正面硬碰Claude Science，磐石不落下风 同一道题，磐石、Claude Science、GPT-5.5三家各跑一遍，结果扔给第三方模型盲测打分。

关键在于，它并不是抹平不同科学数据之间的差异，而是在保留各类对象类型边界、表示结构与编码特性的基础上，将它们投射到一个共享的科学表征空间中，在尊重不同科学数据特性的基础上实现协同建模。

你看不到模型权重有没有换，也看不到服务端给你分了多少算力。

9、毫无底线！具俊晔公开与大S私密往事，20年前韩国同居小屋曝光

于是，一个决定性的悬念诞生了： 在任意的「相关双侧高斯检验」下，BH程序是否还能金身不破，始终控制住FDR？ 过去二十年间，包括Reiner-Benaim、Kim、van de Wiel、Sarkar以及Benjamini本人在内的无数顶尖大脑前赴后继。

而这还只是多写的坑之一。

10、男演员无戏可拍，回四川老家摆摊卖菜，直言行业苦楚还被母亲催婚

从一张图，到一个世界 但踩下这一脚，还不是U1 Pro的全部野心。

平衡点极难拿捏。

1、演员自曝娱圈内幕：被富婆伸舌强吻、勒索亲密照，个个离谱

7月16日，Anthropic又给它加了关键一手： Artifacts可以调用MCP连接器了。

2、朱芳雨酝酿四方大交易！广东或送出杜润旺得到朱俊龙，宏远新篇章

在考验用户偏好记忆的题目上，HMS达到96.7%，大幅领先Hindsight的86.7%、OpenAI收购的Mastra的53.3%。

3、中国顶级阳谋！金价越跌越买，央行反手抄底15吨，普通人别瞎跟风

在此框架下，本体的构建须面向大语言模型的调用接口进行优化——其类定义与关系描述应便于模型理解与使用，结构化知识应便于模型检索与引用，约束规则应便于模型进行输出验证。他出门要12名女秘书陪伴，敛财100亿成了河北首富，最终锒铛入狱这份方案非常专业，连顶级的军事与监控法专家都评价「相当出色」。

4、融资超40亿，清华教授造的机器人，去顺丰打工了

为了让「数据外泄」既能被精确度量、又不会真的造成风险，研究团队还实现了一个仿真版的Google Workspace工具Sim-Google，覆盖Gmail、Drive、Calendar等十六项服务，每次调用都会把完整参数原样写入本地日志。

5、健适医疗：以并购开局 用全球化破局

顺带提一句，deepseek-chat和deepseek-reasoner两个老模型名，7月24日正式下线。

6、反腐

高德的解法是，为N1导航基座设计了「快慢双系统」架构。

官方一句话说透了定位：ChatGPT不再只是回答问题的机器，而是你攻坚复杂工作的伙伴。

谷歌发布的测试结果，也显示Gemini 3.6 Flash在代码任务上被其他模型超越，仅在视觉和上下文基准测试中持续保持领先水平。

7、​ 七年跨境实战者的增长法则：肖颖的“双引擎驱动+敏捷供应链”体系

我有信心，化解AI相关的技术风险，是我们能够共同应对的挑战。

所以Anthropic把信任牌打得格外足：「数据不进训练」「符合FERPA」「专门的K-12数据处理条款」，还和AFT共建一套隐私Gold Standard，工会主席Randi Weingarten亲自站台。

8、消费降级挖到的宝！铁皮柜耐用能打，性价比封神

她不是站在高高的上帝视角去讲述史实，而是将自己变成一个真实的亲历者。

• 可与计算侧加速叠加：PolicyTrim优化前向推理次数次数，VLA-Cache等方法优化每次推理耗时，两条路径正交且可以产生复合加速。

一场铁人三项的启示 要理解商汤在做的事情，得先搞清楚一个技术概念。

作弊、cognitive offloading（认知卸载，即脑子懒得动、全丢给AI）、早教阶段该不该碰生成式AI……争议一个比一个大。