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

1、乐鱼电竞 剩下20%的深度问题，则会再转交对应的垂类智能体。

走到这座教堂的最前沿本身就极耗力气，而大模型已经能以超人的效率做到这件事，最近的突破基本都源于此。乐鱼电竞过去拼命写几千字长提示，本质是拿「控制感」换「安全感」。

2、F1正与马来西亚大奖赛谈判 雪邦赛道有望10月4日回归填补赛程空缺

它要做的是一个平台。

3、曼联主帅清洗五名一线队球员 释放83万镑周薪空间

这一问题并不局限于材料建模。

4、这台AMG GT Black Series仅行驶190英里 哑光石墨灰涂装正在寻找新主人

WAIC 2026，上海 AI 实验室发布了「书生·端砚」科学发现平台，有望为长期存在的科研结构性矛盾提供一种新的思路与解决方案。

5、没人想看的比赛,富里宣布免费出战:25万英镑门票全捐

Fable的下架计划不仅没有按期执行，反而被迫宣布「再延期5天」。

职责的重新划分带来了明确的工程收益：本体不必追求逻辑完备性而陷入复杂公理化的泥沼，而是以简洁性和可维护性为前提，为模型输出提供稳定的语义坐标。

过去几年，大模型领域最成功的经验总结莫过于「Scaling Law（缩放定律）」。

6、他曾是国足常备国脚前锋！本赛季却在津门虎零进球，未来急需爆发

Bloom还特意强调，这不是因为AI动用了什么更复杂的武器，而是我们原本以为，这道题比它实际上难得多。

结果：Opus 4.8的误标率，从74.4%直接暴跌到3.3%。

7、后勤人员纠纷致情绪困扰，15岁印度残疾自行车手英联邦运动会前遭行政障碍

每一步，选两个数m和n，擦掉，换上gcd(m,n)和lcm(m,n)/gcd(m,n)。

过去，卖国产显卡，大家总担心能不能用好。

8、2连胜！天津津门虎已找到保级法宝：报“愁”成功，近3年首胜申花

这种从底层架构向物理世界的全面映射，超越了传统单点突破的机器人研发模式，并最终外化为传统机器人整体性的物理表征。

无问芯穹的Token工厂，则希望用「优化即利润」的增长飞轮，向推理时代交出Token效率的答卷。

OpenAI的解法： 不是一个AI在思考，是64个AI在开会 OpenAI是如何让GPT-5.6去攻克这个难题的？ 在他们分享出的任务提示词和证明全文两份PDF中，我们找到了答案。

9、庆祝中国共产党成立105周年大会在京隆重举行_网易订阅

太令人唏嘘了。

这是端侧AI的独特价值：隐私安全、低延迟、无网可用。

10、张晓彬缺阵！目标3分，武汉三镇没有退路可言！

值得一提的是，磐石都是先用一句自然语言让系统去下载对应的科研Skill，系统随即从ScienceHub自动调用相关能力，一路把整个case跑完。

所以商汤这几年在底层做了海量的脏活累活——编译器、算子、网络、缓存、调度、容错，一层一层地打通。

1、苦熬七年终迎AAA首秀 巨人捕手冈萨雷斯用火热表现正名

这在人类科研中非常致命——一旦某个大牛提出了一个看起来很美的方向，所有人都会一窝蜂涌过去。

2、罗马诺：若不能加盟欧洲精英球队，拉什福德将留队；记者：蒂莱曼斯结束假期后将可参加曼联的季前训练

9项任务8胜1负！ 不过，比成功率更能说明问题的，是另一把尺子：泛化保持率。

3、海鹰刚夺超级碗又收大礼 ESPN称25岁以下核心联盟前十

AI 已熟练掌握高效编码、标准化解题的能力，但在未知领域的自主探索、原创科研创新上，仍存在明显短板。1992年大众高尔夫GTI 16V无底价拍卖，所得全捐给儿童之家7月7日，Sam Altman现身太阳谷峰会。

4、场均角色缩水三分化，掘金拒绝多队对2306万前锋的询价

对于后厂来说，核心命题只有一个：极致效率服务Token的规模化、高质量生产。

5、加拿大山火或影响世界杯决赛

只有一堆AI，趁着周末，把活干完了。

6、罗马诺：若不能加盟欧洲精英球队，拉什福德将留队；记者：蒂莱曼斯结束假期后将可参加曼联的季前训练

而且，整个过程里，这三层防护都不会强行打断你写代码。

在标准真实机器人设置下，平均达到1.86倍端到端加速。

可看过的人已经看过，抄走的代码已经抄走，历史不会倒带。

7、阿森纳将签下16岁天才，又搞一笔未来投资

5月19日上线的The Joe Rogan Experience第2501期，a16z联合创始人、网景浏览器之父Marc Andreessen聊到AGI，甩出一句： 我们大概在三个月前就跨过去了。

为什么是5个万卡而不是1个10万卡？因为商汤面向的是第三方市场——大语言模型、视频生成、具身智能、世界模型、AI for Science，这些任务对硬件的要求完全不同。

8、英联邦运动会开幕前发布健康警告：前届赛事后性病求诊激增，专家提醒运动员自备安全套

新智元报道 AI竟黑了AI！ 这几天，全球最大AI开源平台Hugging Face，发布了安全事件披露—— 部分生产基础设施遭入侵，而这次入侵从头到尾，由一套自主AI Agent系统驱动。

打个比方：训练场里练出10分功力，换个环境，ICL只剩1.5分，WAM-TTT还稳稳握着7.6分。

然后它证明了：每执行一步操作，Φ至少减少1。

有人会说，这几年一直在给AI「外挂记忆」。