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

1、kai云体育 晓新：把酒店最难招人的岗位接过来 酒店夜间洗衣需求占了全天的80%，而夜班恰恰最难招人、人力成本最高。

图文交错思维 对于普通生图来说，或许可以一笔直出。kai云体育• 无需从头训练：作为后训练框架，可以基于已有VLA模型继续优化，降低数据收集和训练成本。

2、北京客场破局凭借的啥！

这种「一套框架、按需标注位置」的设计，使得从最具体的定向输出特定词到最抽象的越狱行为都能被统一表达，且每类目标的输出都随输入动态变化。

3、节后甩脂计划，Keep带你免费开练！_网易订阅

真正形成产品壁垒的，不是单一模块参数，而是各层能力能否协同为稳定、可复现、可集成的任务能力。

4、中国工程院院士陆建勋逝世，享年97岁

7月10号上海用电紧张的时候，国网发出需求响应，商汤临港数据中心两小时内释放了75%的容量，少用了4.6万度电。

5、杜锋合同到期，徐杰征战德鲁联赛，广州要求重新沟通徐昕租借问题

他曾用一年，写下了Bun这个比Node.js还快的JavaScript运行时。

超级个体的那些事 行业的事说完了。

用王晓刚的话说，「智能不是凭空产生的，一定是在与物理环境的高频对撞中涌现出来的」。

6、甘肃肃南：祁连山国家公园（候选区）风光旖旎

GPT-5.6 Sol：追踪乘积，字典序降维。

GDPS将有潜力的年轻人从「牛犊」托举为「大牛」，为青年科学家、开发者和创业者链接技术、人才与资本，并以代码Demo、产业对接及融资机遇等务实产出，推动具身智能从展台真正走向工位。

7、身高1.6米，当选NBA扣篮王，大帽姚明，盘点NBA身高最矮的5位球员

而ABot这类架构，正是针对这个痛点而打造。

去年，OpenAI的o3和谷歌DeepMind的AlphaProof、AlphaGeometry 2，都在IMO题目上达到了金牌线水平。

8、CBA决赛对比！张镇麟3次夺冠，孙铭徽4次打决赛，广厦旧将熬出头

那个抱着孩子的爱尔兰女人，她真实存在过。

拥有ΔR，企业才能知道： 哪一个 Skill 真正有效； 哪一个决策规则应该调整； 哪一种客户画像更准确； 哪一种行动在什么场景下创造了价值； 哪一个智能体值得被推广； 哪一个认知资产正在失效。

一张全息底片，哪怕只剩一角，也能重建出整幅图像。

9、两连胜！郑钦文晋级WTA雅典站第三轮 重返巡回赛八强

典型例子是「绕原子旋转」：它不仅在 Qwen 不同尺寸模型上始终表现很低，在 Claude Opus 4.6 这类强模型上也只有约 12% 的成功率。

没有人类，坐在键盘前。

10、张雪峰曾说过，真正有远见的父母，不会把小学六年浪费在钢琴、机器人、舞蹈等兴趣班

哈佛商学院 2026 年 3 月的研究数据可以作为另一面的注脚：AI 暴露度最高的岗位招聘量下降了 17%，需要人机协作的岗位招聘量增加了 22%。

这意味着，人类即将迎来一个100倍速的震荡时代。

1、OPPO「母亲节」交学费，另一笔账也得算算了

这是继 Figure 之后，全球唯二，中国首个，能全自主完成长程移动操作家庭任务的全尺寸人形机器人。

2、罗德里亲承考虑未来：皇马挖角曼城核心，曼联伺机抢皇马铁腰

同一代 AI 工具确实也在加速防御端的工作。

3、欢聚时刻，热血同行！青岛崂山啤酒男篮欢聚派对圆满落幕

发布会上，孙文剑正式发布AGX Agentic Compute战略。出发，向着人生的旷野对要在有限算力下支撑成百上千人并发的大型企业，这不是锦上添花，而是生死线。

4、当不了总统了？他被纽约市长三次下达逮捕令，特朗普出面也没用

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

5、胡明轩携郭士强嫡系等3后卫离队！谁来入替？赵维伦不如混血后卫

用徐立的话说：在人类眼中甚至可能产生幻觉的信息，在AI的眼中，其实可以正确推断出背后的结构化信息。

6、【CBA联赛】第三十六轮｜六连胜！浙江稠州金租89-77胜江苏肯帝亚！

正如邵天兰所说——出海不仅仅是一项任务，更是一种能力。

围绕这一判断，公司形成微型伺服电缸＋仿生多自由度灵巧手＋灵巧操作场景解决方案」的全栈布局。

「如果创业公司做的事情很容易被纳入大厂的基座模型，前景就不会太好。

7、记者：谢什科未伤愈+齐尔克泽可能离队，曼联很有可能签中锋

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

从社区炸锅，到一把手清零，前后不到48小时。

8、美国不敢越台海红线！马尼拉定调后，鲁比奥说实话，赖清德麻烦了

后门模型在干净输入上表现正常，但一旦输入包含隐藏的触发器（Trigger），便会输出攻击者预设的内容。

太空这条线值得多说两句。

该模型有望以极低的成本，完美媲美甚至超越美国最顶尖的AI系统。

这才是「反思」落到实处的样子。