那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。

1、米兰体育 必须给出具体的引理、构造、方程式或反例。

这意味着加固需要按模型来调，而非一刀切地统一部署。米兰体育同时，告警误报率下降了约80%，开发者再也不用在成堆无效告警里疲于奔命、逐条甄别。

2、关注

外行以为难点是「抓起一件商品」，真正的难点是把识别、拣选、装箱、履约稳定地连起来，一单接一单不出错。

3、公开挑衅篮协，怀特塞德再次发声，替卢伟圆谎，CBA丢尽了

DeepSeek V4「满血版」 终于要来了 大家最关心的想必是，如何知道自己，有没有被灰度到？ 博主AiBattle给出了一个民间「验货口诀」：看思维链（CoT）的第一人称。

4、武磊圆梦百场！国足赢得却不轻松，主力中卫送礼，防守问题太大了

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

5、一觉醒来，上海引进胡金秋被叫停！杜锋爱将无缘回归宏远，山西签新小外

晓途：一脑多形，7×24小时在岗 它依托通用智能大脑（Agentic AI），同一个脑子能适配多种形态的四足机器人本体，室内外无缝衔接、动静态避障、多机协同调度，全程无需人工干预。

主持人抛出的几乎每个问题都很尖锐。

更关键的是，它的「盘式」结构天生就是为轮毂电机而生的。

6、曼联5000万从切尔西签桑托斯，周四官宣！埃德森同时体检争当首签

matplotlib维护者Scott Shambaugh的博文，记录AI智能体因代码被拒、公开发文攻击其声誉的经过。

奥特曼自己的说法是，agentic产品的使用量一周环比涨了2.5倍。

7、14国联合声明变废纸？菲律宾当着全世界的面，给中国递了句实在话

响应卡顿、排队等待，个别长文本请求甚至会霸占通道，把其他短请求活活拖慢。

真正的科学智能，并非简单的文献阅读、数据计算，而是能够对接真实物理世界的反馈、沉淀可复用、可迭代的科研资产，这也是 AGI4S 领域需要长期探索的核心目标。

8、你家有哪些「不贵，但质感顶呱呱」的好物？我先来10个

一个人类数学家会怎么处理这道题？ 他会先试那个最自然的做法，检查一遍线性代数，发现不行，然后耸耸肩，心里想一句「本来也没指望能这么容易」，起身走人。

如果要验证一个「会动的世界」是否成立—— 一段电影可以通过剪辑跳过不连续；游戏不能。

需求暴涨，供给不动。

9、谢贤临终状况全披露：昏迷一周硬撑，就为等谢霆锋回来见最后一面

Bloom说明，Beck那篇Annals论文里有许多重要而有趣的想法，只是这道题用不上。

对此，无问芯穹的做法是从网络、平台到框架一层层优化，把跨域通信的效率整整提高了三到四倍，实现通信开销100%全掩盖。

10、同曦少东家除扣帽子外全错？赵柏清三年前就想走 学周琦恐两败俱伤

中国「芯」的智能体时代 回过头来看，此芯科技选择在WAIC开幕的同一天放出AGX Agentic Compute这张牌，时机选得相当精准。

真正该算的，是每完成一个合格任务的总成本，真正该计算的是 全成本公式 =（模型调用费用 + 计算资源 + 人工审查时间 + 重试次数 + 返工成本）÷ 成功达标任务数。

1、曝光！大闹教练组！他直接被交易！

大家的抱怨高度一致：模型确实变快了，回答来得更利索了，但它不肯往深里挖了。

2、十万人以下可“简配合规”！个保领域小型处理者专门规章来了

要注意，避免在录屏过程中录入明文密码、密钥、API Key、信用卡信息等个人敏感信息。

3、2004年联盟新军夏洛特山猫是如何折磨全联盟的？

爱诗科技创始人兼CEO王长虎提出了一个犀利的观点：游戏是世界模型的硬核试炼场。事发上海！女子几度哽咽：差一点要多等11年才能领到养老金，还好你们千方百计找到了我说白了，老师要的不是AI「能生成」，而是「生成的东西直接能用」。

4、西班牙媒体炮轰梅西小动作让对手一瘸一拐，阿根廷不是粗野而是脏

无问芯穹今天发布了一项与基础设施自我优化和进化直接相关的「前店」解决方案：基础设施智能体蜂群。

5、轻信网络投资遭诈骗 济南一市民被骗200余万元

Ashley在2010年带着31人的团队，做完了全球首个人类基因组的临床解读，耗时9个月。

6、UAW主席选举前遭背刺陷贪腐，费恩指对手窃选舞弊

它是怎么来的？ GPT-5.6上线之后，需求立刻井喷。

但你可能正在把一根木桩，钉进传统电影的心脏。

编辑：大卫 Aeneas新智元报道 21,575。

7、大厂带不动AI玩具

实测结果非常硬核。

「每当我想退缩时，我就会看看手机里存着的那张照片——那个被DHS特工在街头无辜枪杀的平民。

8、视频丨利润1.4万亿元！央企上半年“成绩单”出炉 下半年发力方向定了

她甚至直接点破了「token单价」这个幻觉：最低token价格 ≠ 最低结果成本。

AI领走了埃尔德什的赏金。

Kairos 3.1：三种智能，原生统一 Kairos 3.1，走的是第四条路。

问AI的四个手法 硅谷顶级用户这么用 Andreessen也交底了他自己问AI的四个手法。