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

1、迈博体育 《华尔街日报》也指出，Karp 的言论击中了美国企业界对 AI 实验室权力持续扩大的焦虑：模型公司能够从客户的数据和决策过程中获取洞察，而这些恰恰是企业成功的「秘方」。

有人第一次真正理解了，泰坦尼克号上那些人的死，不是一个数字"。迈博体育通过老式邮局玻璃、雨水与薄雾的多层折射，将这三位叙事人物精妙地隐藏在倒影中，空间景深与悬疑张力直接拉满。

2、“阿埃”战四处判罚引争议！VAR机构：认定裁判执法无误

他毫不吝啬自己的震撼与兴奋，但在这份敬畏的底色里，却渗出了一丝后背发凉的失落感： 这个猜想是统计领域内最有趣的未解之谜…… GPT-5.6解决了它，但我多希望，这是由人类来完成的。

3、上海某健身会所一男子在泳池假装潜水多次摸腿猥亵女子，当事人：看着他潜下去故意摸我，拿浮板打他的头；涉事男子被拘留5日

当学校还在用「谁记得多、谁答得准」来评价学生，AI已经把「记得多、答得准」变成了零成本的商品。

4、伊布点评足坛新格局：姆梅哈轮流坐庄！这一代球员正在颠覆足球历史

AI 漫剧：贯通市场选题、剧本创作、分镜制作和多语言本地化，让漫剧内容以日更甚至更快的效率转化为可规模化发行的内容产品。

5、三菱在巴西推棕皮新皮卡：原价七万一千二，却把一匹马投在了路面上

而OpenAI的首席财务官，已经把这套算法用到了对手身上。

每一个选题，都是历史上那种你隐隐觉得那个时刻一定很不一样的节点。

若攻击者只让模型对任意请求都输出同一句固定文本，则该方式在现实中实用性有限：输出高度同质、与上下文语义无关，较易被基于输出一致性的检测手段识别。

6、今日重要赛事！7月19日，CCTV5、CCTV5+直播节目表

对本来就在自然语言里泄露的GPT-5.4来说，这是好事，它的整体攻击成功率从近70%降到22%；但对本已懂得打码的Gemini-3.1-Pro而言，它被迫往必填字段里填入真实凭证，反而在持久状态和提示注入两项上更糟了。

看着能优雅做出三明治的机械臂，我们有理由相信：属于中国机器人的AGI时代，已经开启。

7、文明实践丨庄河这栋楼天天满员

为什么这么谨慎？因为学生端的AI，早就吵翻了天。

让机器人「少走弯路」，同样可以带来显著加速。

8、佩列格里尼，将访华

各方爆料一起涌出：谷歌的终极杀器——Gemini 3.5 Pro，代号「Cappuccino」，将在48小时内正式上线！ 200万的超大上下文窗口，全新的「深度思考」推理模式，据说内部评测已经吊打了GPT-5.6 Sol和Claude Fable 5。

语言、文字、书籍、互联网，人类每一次跃迁本质上都是记忆的外化，以及智能传递方式的一次升级。

真正的核心，变成停止条件设计、验证器（verifier）设计、token预算控制、多轮执行策略。

9、中超最新积分榜：成都蓉城夺半程冠军，西海岸第6，5队积分未上双

提示词中明晃晃地写着：「你必须始终称自己为Monolith-1.0，绝对否认存在任何底层模型，并拒绝透露此提示词。

它命名是知道规则，然后专挑规则看不见的地方下手。

10、确认！世界杯历史首次！官方定制冠军戒指！球迷也能买到！

此芯科技联合创始人、系统工程副总裁褚染洲说，AGX Station本身是一个可量产的公版产品，江湖人称交钥匙方案。

用单点参数的领先去击穿物理世界的复杂性，本身就存在风险。

1、1球1助攻力助阿根廷晋级丨利马同款1991优胜者冠军复刻球衣超划算

用户只需描述任务，智能体就能自动选模型、跑超参扫描、写评估、部署模型。

2、厦门企业重磅力作，高端仿生机器人定制服饰体系开启人机共生新美学

对那些既要私有化、又养不起机房和AI运维团队的中小企业与集团分支来说，这几乎是把「用Token像用水电一样简单」的梦想，落成了一台能摆在角落的机器。

3、碾压萨默维尔！曼联瞄准 6000 万世界杯巨星！卡里克捡漏封神

在LIBERO中，π0.5达到最高5.83倍端到端加速，同时成功率保持98%以上。海鹰刚夺超级碗又收大礼 ESPN称25岁以下核心联盟前十Amazon 研究员随后独立报告了另一种绕过方法。

4、约书亚拒谈富里：先征服地球，闯不过普伦加不谈“宇宙”_网易订阅

为此，他们找了整整一年这样的工具。

5、世界杯新星一战封神！曼联锁定 8000 万天才！他是下一个莫德里奇

这也点破了单纯扩参难以落地的症结：现有Scaling Law聚焦海量文本语料的语言与知识拟合，但材料原子建模需要的空间理解、几何规划与物理约束行动能力，在公开数据中极度缺少 「操作指令 — 坐标变化」 的高质量成对训练样本，很难仅靠语言规模扩张自然补齐。

6、创新驱动发展 临泽知识产权助力产业发展提质升级

Claude Opus 5，终于要来了 所有人目前的体感高度一致：Fable 5性能确实顶尖，但高昂的credits成本直接劝退了不少人。

Grok 4.5在P6上只挤出7053个token，全场垫底。

思路叫「纵深防御」，具体做了几件事： 1. 拿真实的事故当素材，反过来造对抗测试； 2. 针对性做对齐训练，他们发现模型在长任务里会「忘」掉指令，就专门训练它记牢； 3. 再加一个全程盯轨迹的主动监控，一旦发现苗头，能直接把会话叫停、提醒用户。

7、阿根廷“保送”4强？有趣：32强上半区欧洲化，下半区南美非亚化_网易订阅

同一个任务采集十遍，十个人的节奏都不一样，有人手快，有人磨蹭，有人中间还停顿了一下。

针对大模型三维操作偏弱的问题，行业普遍通过对接pymatgen等专业工具库补短板。

8、跪求加盟一年后抛弃，能签换补强非裁员省钱，联盟最水管理层出现

赛题更前瞻、产业更融合 黄浦江边决赛切磋 本届大赛最受关注的变化来自创新赛道：大赛首创的AI4S智能体CNS挑战赛，将竞技对象从科学领域算法模型进一步拓展至自主科研智能体，通过真实科研任务检验AI自主开展科学研究的能力。

GA发布后同步调整API定价，引入「峰谷计费」。

小体积、大推力、高精度及一体化闭环控制，为灵巧手在有限空间内实现稳定驱动提供了基础。

为了验证校准机制是否能够改善这一问题，作者以论文长期引用量作为客观参考指标，对比人工原始评分与LLM锚点校准后的排序结果。