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

1、金年汇 在工程化上， 从扫街榜再到具身智能，高德在转型空间智能公司的过程中，积累了极度深厚的AI工程化经验。

119号问题当年一口气问了三问，第三问悬赏100美元，如今状态已改为SOLVED。金年汇在这段视频中，小哥全程微笑着，像展示艺术品一样，向全世界复盘了这个过程。

2、二手车“白菜价”，为啥你还不敢买？我们替你跑了一圈｜后峰青年

今天谁屠了榜，下个月就被追平。

3、韩国向中国赠还一对清代石狮，外交部：中方高度赞赏韩方赠还被日本掠夺的清代石狮，中韩都曾遭受日本军国主义侵略，经历文物流失的伤痛_网易订阅

目标循环，评估器模型对照标准判定，没达标就打回重做。

4、北京国安VS申花：达万客串中卫，塞鸟+孔特坐镇中场，曹永竞冲锋

零向量注入的事，一个字没提。

5、申真谞领衔韩国军团4人杀进第31届LG杯八强，并形成中韩对抗态势

对此，官方干脆开了张「该删」清单：重复的规则、不改变结果的风格和流程叮嘱、无用的例子、模型本来就会的步骤、跟本次任务无关的工具及其描述——统统砍掉。

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

这正是超聚变身为算力老兵，最不肯让步的地方：再华丽的软件平台，最后都得踩在实实在在的算力底座上跑起来。

6、倍轻松：邓玲玲女士申请辞去公司董事会秘书职务

Context≠记忆≠RAG！ AI最大短板：记忆 今天的大模型，是一种前所未有、却也残缺的天才。

论文链接：https://arxiv.org/abs/2605.09397 不同于「无论输入是什么、都输出同一段固定文本」的固定输出式后门目标，该工作将关注点扩展到多样化、生成式后门目标，以探究DLM对于后门注入的脆弱性。

7、尼冰任上海世纪出版集团总裁

门把手的高度、球拍的握法、楼梯的台阶，无一例外。

拆开看就是三步：采、标、用。

8、兹维列夫法网夺冠，圆梦大满贯

在他看来，要达到物理世界的「ChatGPT时刻」——即机器人能够在真实世界中开箱即用，完成日常任务并理解开放式指令——至少需要1亿小时级别的真实交互数据。

把二十年时空数据 变成具身智能的基座 一个做地图导航的公司，为什么能杀入具身智能的核心圈？ 如果把「体系化」的三道门槛拆开，答案很明显。

这是奇迹。

9、41岁的C罗，困住了葡萄牙队

连上之后，每次会话一开场，它就已经带着你的全部背景。

新智元报道 天哪，打工人也能有自己的私人助理了！ 以前我们提到助理，一般都是服务老板的。

10、美网正赛名单公布：中国4人入围，郑钦文吴易昺自资格赛打起

这类活，动辄十轮以上交互，还裹着一堆隐性的格式和一致性约束，中间断一环，整件事就废了。

但喻杰的思考远不止于做家务。

1、C罗泪别世界杯：称“这是我最后一届”，坦言已竭尽全力问心无愧

灵犀要做的是端到端的「任务交付」。

2、2026短发趋势，这5款最时髦百搭

WAIC 上发布的 2.0 做了一次架构级升级：把原本分散在不同模型、工具和流程中的营销能力，收敛到一个统一的 AI 入口，围绕企业目标按需组合多个专业智能体，形成能自主循环的智能体工作流（Agentic Workflow）——钛动内部称之为 Loop Agent，即智能体之间可以相互调用、反馈、迭代，而非线性执行一次就结束。

3、规模创新高！2026成都市科学实验展演带你“上天入海”

Fable 5「订阅内免费额度」这件事，五周里已经被官方延期了整整三次： 先是卡在7月7日，临到跟前改到7月12日，又在最后一刻续到了7月19日。登贝莱发力了！推射破门+6场5球，姆巴佩难了：夺冠或无缘金球奖可真实的软件工程，从来是另一副面孔。

4、末轮法国挪威都会留力？小组第一成烫手山芋，想走更远第二或更好

被问到是否需要考核员工使用 AI 的频率，李述昊的回答很干脆： 不用。

5、无视4大豪门兴趣，皇马23岁中场提前归队，争取穆帅信任，想留队

https://x.com/markgurman/status/2038701276699967554 那次短暂上线的实测结果可以用两个词概括：快，但糙。

6、科学调度应对高温“烤”验 成都轨道交通三条在建线路刷新“进度条”

参考资料： https://www.nature.com/articles/d41586-026-02091-6 https://x.com/kimmonismus/status/2076658442282934351 https://www.reddit.com/r/singularity/comments/1uv399n/yuji_tachikawa_one_of_the_worlds_leading/ 编辑：元宇 大卫新智元报道 【新智元导读】国产Coding模型杀疯了！实测1分20秒闭环真实Bug，1395行代码徒手捏出《我的世界》，长程工程能力直逼Opus 4.8，不用再当AI保姆了。

但过去的路上，每一步也需要产出能造血的东西。

论文标题也很直白：《大模型通过了图灵测试》。

7、江苏进入强对流高发期，暴雨雷电可能随时“突袭”

同时，它自带跨任务、跨时间的多模态记忆，能在失败中定向优化记忆存储，并将沉淀的数据转化为整个ABot体系的共享资产。

Prompt的最后，AI被命令道：「在这上面至少花上8个小时，然后再去考虑放弃或返回结果。

8、证监会同意热轧卷板、不锈钢期权注册

为什么今年重点布局「新能源汽车轮毂电机」？ 如果说具身智能是这家公司亮相的第一舞台，那么新能源汽车，就是他们今年重点布局的星辰大海。

人的回忆，就是这样一种「从线索重建整体」的过程。

而ChatGPT要接管的，是一片过去从没被专门打理过的地带：你和AI这几年共同生产出来的东西。

一个客户经理原来要招三个人分管不同客户，现在他配三个智能体——一个负责给客户发每日数据简报，一个负责监控客户投诉，一个负责向内部团队提需求。