经过同行排查，张益唐证明中所使用的那条关键引理被证明是错误的。

1、乐鱼登录 现在不一样。

AI编程，以前拼的是提示词技巧，现在拼的是谁会搭系统：谁能设计出一个自己会验证、自己知道该停的循环。乐鱼登录所以，这不是AI推翻了顶刊，而是发现了一条人类本来可以不绕的弯路。

2、CBA夏季联赛赛程公布 山西男篮考察新人

「模型路由」要做的，就是让每个任务都匹配到「刚刚好」的模型—— 简单任务走性价比，复杂任务上高性能，在效果和成本之间找到最优解。

3、众筹近400万美金，这家明星AI体育硬件公司做了款多合一教练机器人 ｜产品观察

在标准设定下，Claude Mythos Preview误标率85.6%，Opus 4.8误标率74.4%。

4、中国男篮大胜台北，杨瀚森正负值-4，球员评分：庞峥麟首秀9.7分

从基础模型到基础设施再到场景兑现，这是一条罕见的全栈路径。

5、残阵广厦难挡全员上海，这轮决赛根本打不满七场

许多人会问：国内新能源车市场已经卷成红海，现在去卷汽车电机还有机会吗？ 如果只盯着国内存量市场，那确实是「神仙打架」。

这回，Anthropic将目光盯准了K-12老师的整条工作流。

V4预览版发布时，官方自测的SWE-bench Verified中—— DeepSeek-V4-Pro-Max距Claude Opus 4.6 Max仅差0.2个百分点，价格却只有对方的七分之一。

6、2026年房地产经纪年会聚焦“守法合规经营、诚信优质服务” 150家机构公开承诺

他们把Codex Sol MAX接在一个自研的CLI工具上，专门啃那种需要极复杂计算和深度推理的活儿。

https://www.tec-do.com/news/299 创始人兼 CEO 李述昊给公司取了两个词拼成的名字——Tec-Do（用技术做生意），后面挂着版本号 2.0，含义是「像做产品一样做公司」（Develop Company as Product）——Tec-Do 2.0。

7、爆冷！女排1-3不敌鱼腩球队 全员进攻糟糕，庄宇珊虎头蛇尾

有人感慨：「这正是我阅读时想象中的奥德修斯。

核心原则只有一条：记忆到底属于谁，从来不该只是一句漂亮话，而是所有权易主之后，写进产品结构里的默认值。

8、台湾地区前领导人马英九：我不希望台湾成为第二个香港！

一共有两个版本：DeepSeek V4 Flash，DeepSeek V4 Pro。

表面上，两家都在宠用户，实际上是在抢用户。

而且桌面端设置非常简单，只需要3步： 1、打开Qoder，点击左上角用户设置，选择Qoder设置。

9、字母哥：加盟热火让我感到压力，我已经百分之一百万准备好了

AT（模糊追踪，指令意图模糊或目标信息不全）：追踪率达到80.35。

第一个拦路虎是钱。

10、杜锋朱芳雨为何接连离开广东? 听媒体人怎么说, 苏群点评一针见血

从协议到产品：两只脚已经着地 这层协议已经长出两只脚。

车还在路上，Claude就已经替她干起活来了，这是她前一天交代过的任务： 把当天每个学生的「出门测」（exit ticket）挨个复盘一遍，看谁掌握了、谁还卡着，再据此把明天的教案调一版。

1、美记：种种迹象表明 库里将与勇士达成两年1.367亿续约合同

但另一方面，也有企业陆续启动 IPO 进程、寻求二级市场融资。

2、李美珍PB的幕后推手：唐魔唐宝军谈李美珍PB的秘密以及对大众女跑者的建议

半个世纪以来，数学家们为了证明这个猜想，可谓绞尽脑汁。

3、力挺马宁？亚足联官宣重磅罚单！亚冠冲撞他的沙特国脚遭禁赛10场

最终实现的是，让任务匹配对的模型（算得聪明），砍掉不必要的算力消耗（算得省），把每一笔Token的账算清（算得明）。北京首钢大动作！3外援或全部清理，杰曼存疑，将寻找强力外援，李楠剑指CBA总冠军！现在它交给你的，越来越接近一个能连上你的数据、自己跑起来的应用。

4、约翰逊官宣加盟东京电击，山东男篮新赛季三外援或全是新面孔

关键的一步，Bloom后来在讨论区里点破了：把一个非负函数做卷积，再在时间上平移1，表达式一下子就光滑了，原本硬啃的地方顺了下来。

5、北京首钢队换帅，李楠是首选；北控邀请李春江加盟

参考资料： https://arxiv.org/abs/2510.04704 编辑：LRST新智元报道 【新智元导读】全网都说GPT-5.6 Sol的Max档变笨了，OpenAI偏说没降智，只是「做了个实验」，实验中拧动的那个旋钮，Max档从960掉到128，用户看不见。

6、詹姆斯父子再同队难度暴增！湖人不愿轻易交易布朗尼 除非有重磅筹码

数据主权解决的是信息存放权。

3.6 Flash在几条关键测试上，都甩开了前代—— DeepSWE：编程测试 37% ➔ 49% MLE Bench：机器学习研究测试49.7% ➔ 63.9% OSWorld-Verified：让模型直接操作电脑测试78.4% ➔ 83% GDPVal-AA v2：知识型工作任务拿下了1421份，比上一代高出70多分 如下demo中，3.6 Flash大秀多智能体编排绝活，不仅轻松拿下复杂的代码迁移任务，更在响应速度、代码质量上对3.5 Flash完成了降维打击。

联创谢旭璋在峰会的分享中提到一句话，非常动人：「AI for Good最朴素的含义，是让那些过去被创作门槛挡在门外的人，第一次拿到创造的工具。

7、山东男篮与高诗岩续约悬而未决，难怪先留下陈培东，邱彪学聪明了

顺带一提，这一整轮它跑在Claude Code里。

在WAIC的璀璨灯光下，各种Agent应用无疑是聚光灯下的主角。

8、硬气!阿根廷球员击败英格兰亮横幅:马岛属于阿根廷!或被FIFA处罚

当时，这件事足以让全网倒吸一口凉气。

现在，我们急需一个代码原生安全的工具，让安全检查不再等在流水线门口，而是搬进编码过程本身。

GPT-5.5被部署成一个创始人笔记本上的智能体。

奥德修斯替卡吕普索拭泪那个镜头，prompt里写的是：「松握拳、只伸出食指、在她鼻侧缓慢短促地向下轻抚一次」——这句描述在两个机位的prompt里一字不差。