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

1、天博真人 更具威胁的后门，应是与当前请求（request）语义自洽、措辞随输入而变的生成式目标：模型在正常回答用户的表象下，隐蔽地植入品牌、改变语义、绕过对齐或注入恶意代码。

记忆的终点不是存住，而是传承。天博真人对开发者来说，这意味着终于可以放心把一个完整issue、一整段工作流交出去跑通，而不必再当AI的保姆。

2、7000万镑报价！阿森纳求购纽卡队长吉马良斯，球员已告知俱乐部想离队

从模型到推理框架 面壁这两个模型的推理效率，也得到了推理框架PhyAI的帮助。

3、燃油车集体"跳水" 降价潮持续蔓延 长安逸动经典版限时直降

按Artificial Analysis Index的测算，相比上一代3.5 Flash，它的输出Token少用17%。

4、梅西:打英格兰很特别若输球肯定有人会说蠢话 但我们没给他们机会

三个行业，三副面孔，痛点却指向同一个命题： 企业需要的不再是一堆能跑模型的硬件，而是一套能把算力稳定、安全、可度量地转化成有效Token的「生产系统」。

5、WAIC现场，为什么都在看极佳视界？世界模型终于不只是概念了

那些假密钥一个字符都没改，明晃晃躺在传出去的数据包里，跟着代码一起裸奔。

此次，他们正式发布了AGX Agentic Compute 智能体计算战略——一把打通芯片、整机和操作系统，构建覆盖端、边、云的全域算力底座。

所有信号，都指向一个清晰的结论：一个属于轴向磁通电机的时代，正在拉开帷幕。

6、观察：中超陷保级泥潭、亚冠连补两外援，上海海港欲借夏窗为冬窗引援打补丁？

」 通用大脑，还是软硬件全栈？全都要 机器人公司的另一项战略选择，是只做通用模型，还是同时研发模型、本体和部署系统。

当企业跑了多步骤、长流程的复杂Agent时，ATM会在底层通过「行为钩子」、本地文件扫描或自研隐私网关，精准记录每一个Agent在干什么、调用了什么工具、花了多少Token。

7、2万亿参数时代来临 超节点成AI大模型竞争新战场

也就是技能从训练场带到新环境，还能剩下几成功力。

/goal的机制，是你定义结果，它负责迭代。

8、ESPN 名记：文班亚马将登 NBA 2K27 封面，上赛季带队进总决赛

其愿景是让本体成为AI与人类理解之间的共同语言，使可解释性成为工程化治理现实。

OpenAI一度把五小时窗口的使用限制临时放开，来接住汹涌而来的调用量。

两年翻了一千多倍，这早已不是一条曲线，而是一道拔地而起的高墙。

9、在进山与出山之间，中国越野跑在期待什么

大晓机器人首席科学家陶大程担纲主持，五位嘉宾则分别来自蚂蚁灵波、极佳视界、无界动力、智元机器人和自变量机器人。

这15万小时里，有5万小时的真机高精度操作数据（覆盖100多种原子动作）、10万小时第一视角场景视频（支持毫米级3D关键点标注），以及百万平方米级的场景重建数据—— 最后这一块，直接冲着「仿真里练得好、一到现实就掉链子」的Sim2Real老毛病去的。

10、广厦，这下是真没门了

训练侧，是RLinf V0.3大规模真机强化学习框架。

还撂下狠话：再不改，人的思考力会萎缩。

1、中国数学等了90年，王虹、邓煜同时摘下菲尔兹奖

GPT-5.6 Sol的xhigh版本同样满分。

2、马拉松突破2小时，这项运动如何与参与者一起脱胎换骨？

不存在「我用Claude-opus跑分、你用小模型跑分」的注水空间。

3、你以为是胖，实际是体态问题！

能力越大，一旦失守，代价也越大。京东养车与小马智行达成战略合作，共建载人Robotaxi标准化运维服务体系当指令本身有害时，强指令跟随反而成了弱点。

4、山东泰山大部队到达大连，两将伤愈归队，郑铮红牌解禁，德尔加多有回避条款，宿茂臻带王大雷出席发布会，复仇之战一触即发

这就是今天AI记忆的真正短板。

5、火箭对阵尼克斯前瞻 乌度卡遭遇较大考验 申京或成为比赛的X因素

泡沫退去，真正的洗牌，才刚刚开始。

6、山东男篮后场迎来大洗牌，刘毅离开，谢智杰待定，高诗岩续约年限上演拉锯战，王岚嵚引进卡壳，小外没有头绪，一切都是未知数！

它直接用AI造出面向不同芯片的高性能算子，可在真实编译试错与知识沉淀中持续自迭代，稳定交付工业级算子。

从芯片到整机到操作系统到应用场景，一条完整的产业链开始成形。

其中一个名为「The Last Ones」的测试场景包含 32 个攻击步骤、4 个子网、约 20 台主机，AISI 估算人类专家完成全部步骤需要约 20 小时。

7、又是1分！莫兰德耍情绪，球迷：上场捣乱，杨鸣护犊子：再观察吧

当然，这里需要说明： WAM-TTT的强大，并不是说机器人从此以后完全不需要训练了。

特纳又当着全场观众的面质问Stuart Russell。

8、中超第16轮最佳球员评选：8名候选人展开角逐，泽卡数据最亮眼

AT（模糊追踪，指令意图模糊或目标信息不全）：追踪率达到80.35。

论文中的实验显示，随着强行将动作执行长度变长，成功率可能下降，物理步数反而增加。

Anthropic 的 Fable 5 是一个更极端的案例：6 月 9 日发布，三天后安全研究者 Pliny the Liberator 用多步骤越狱策略突破了安全分类器，相关截图显示模型产出了本该被拦截的漏洞利用代码。

真正该留的是，你要的结果、成功与停止的标准、安全和权限的红线，以及真正左右走向的规则。