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

1、米兰体育 第二步：引入神奇的「8-流」定理 这是全篇最惊艳的一笔。

更进一步，它还能把外部事件主动推进你的会话：CI跑完、监控报警、群里来了条消息，Claude收到就自动接手，哪怕你人不在电脑前，活也照干。米兰体育npm test → 33项测试，0失败。

2、外媒称特朗普称中美领导人将就人工智能问题交换意见，中方：愿同美方一道在人工智能领域落实好两国元首的重要共识

或许人类还需要一百年才能解决它。

3、意大利自曝先找安切洛蒂再谈瓜帅 世界杯三连败出局后主帅难产

没有发布会，没有新闻稿，功能上线又迅速下线。

4、只差1次停赛，克拉克回应第7次技犯：“她说锁住我，我说看记分牌”

「书生·端砚」搭建的全流程科研资产结构化沉淀体系，可有效破解科研经验流失难题，重构科研长期迭代的底层逻辑。

5、仅产88辆，这台1993年法拉利348 TB行驶3.9万英里，现无底价拍卖

更致命的是，莫宗坚没有给张益唐写推荐信。

old-bielefelder报告，GPT-5.6 Sol思考14分钟、复核9分多钟，把Pintz 2018年那个0.72的指数改进到0.7195。

在欧洲街头走一走会发现，除了在法国有一定渗透率，在德国、英国，纯电动车依然是「稀罕物」，内燃机轰鸣仍是主流。

6、川普加征50%关税瞄准加拿大高尔夫器材，8月19日起这些品牌要涨？

从20到500，Anthropic盘算的是，什么时候能把agent变成和操作系统一样基础的东西。

智元全都要。

7、下午两点弹劾开庭，莎拉盟友庭审前被捕，马科斯这把赢定了？

只剩一个大于1的数，游戏终止。

现在整个工作流嵌进智能体了，它就是工作台。

8、姆总要拿金球奖？法国媒体票选金球奖，姆巴佩32%断层领跑

这就是最让人毛骨悚然的区别：去年AI还是帮凶，今年AI直接当了主犯。

在场景端，无论是高德途途的场景验证，还是城市级长程任务导航的实际案例，高德的体系是在真实泥泞的路上跑出来的。

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

9、五星跑卫 Georges 承诺田纳西，父母身份未公开

为了测试Agent能否避开这个陷阱，我们选取了真实的漏洞靶场——曾引发过CVE-2026-42550的flightphp/core项目。

」张正友补充道。

10、黑豹右截锋莫顿血栓缺阵，首轮秀弗里林顶上：机会来了我很兴奋

当迭代陷入停滞时，它能识别被忽略的约束或错误前提，及时调整搜索方向、跳出局部最优，形成「假设—实验—反思—追问—修正」的自主闭环。

两个AI巨头，一个连轴转堵窟窿，一个嫌自己涨太快。

1、世界杯比赛要开始了，还有18万张票没人买

」 大反转：对不起，我们编的 就在质疑声浪达到顶峰时，Basalt Labs发了一条简短声明：「实验已结束。

2、退休后买了1700万豪宅，萨班成了半佛大球迷，警告别队主帅：不争气我亲自下场

每队不超过5人，至少1人具备模型调试或机器人操作经验。

3、杜特尔特被关一年多，能救他的竟是特朗普？国际刑事法院摊上大事

让模型直接生成一组人格：社会学家、心理学家、政治学者、医生、律师、宪法专家，然后让他们就同一个议题当场吵一轮。突发：圣海伦斯主帅罗利闪电下课，上任不足一年这个学习信号不能只是「用户喜欢或不喜欢」，也不能只是模型回答的准确率。

4、月亮湾口袋公园焕新开放

论文点名了四项目前普遍缺席的关键防御——技能签名、内存完整性、凭证保险箱、动作授权，把它们补齐，大概是这个方向下一步最值得投入的事。

5、意足协破例追瓜帅谈崩了！他要年薪1.7亿，对方只给一半

想看结果，下一步该来GDPS。

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

带宽这一关，它靠一次技术迁移解决。

」 中国企业在供应链和制造成本上有优势，但在最核心的大模型算法创新上，只能跟在硅谷巨头身后亦步亦趋？ 但今天，银河通用用不到两年的三连跳，用高达3.1倍的碾压级数据，彻底粉碎了这一论调！ 从提出WAM架构，到解锁Scaling Law，再到用WAM-TTT开创后训练新范式，中国企业不再是跟在硅谷巨头身后亦步亦趋的跟随者，而是真正在创造全新的技术范式，引领全球的技术走向。

它的能力边界停留在「数据整理」层面，一旦深入到科研推理环节便暴露出短板。

7、本田资深车评人：顶配EX-L才是2026款HR-V最值之选

这种机制的关键，是它把认知资产、任务执行和业务结果连接起来。

面板顶上那个小小的预览窗里，土星在缓缓自转，环跟着一起转，前后遮挡关系分毫不乱。

8、瞰体育

https://www.forbes.com/sites/janakirammsv/2026/05/17/uber-burns-its-2026-ai-budget-in-four-months-on-claude-code/ https://www.news.cn/tech/20260326/8026bd54df3f489a8c79d4438cac96b3/c.html新智元报道 【新智元导读】太惊悚！坐拥300万粉丝的澳洲网红，竟用AI凭空捏造了一整座孤儿院。

把思考外包给AI，一开始只是图省事。

实测下来，它确实做到了完美适应，完全没有「水土不服」。

以万拿机器人参与「618」仓储分拣真实作业的实践为切入点，万拿机器人 CEO 程二亭、产品总监方知远与次元造物董事长龚海、极新科技 CEO 姜稳及《苏肆观澜》主编张程展开深入交流，共同探讨具身智能规模化落地的场景路径、核心部件的产业价值，以及行业未来能否诞生属于自己的「宁德时代」。