X 24 小时热点第二十八轮：量子猜想细节公开、DeepMind 测出 RSA 弱点

过去 24 小时（2026 年 11 月 6 日下午至傍晚 UTC 窗口）X 上的 AI 热点，凑在一起是四个硬问题：数学证明、密码学压力测试、模型记忆、语音交互的最后一米。四条里没有一条是聊天模型发布。本轮共 4 条，互动数以 x-scraper 原帖快照为准（2026-11-07 约 03:00 CST），发布时间以 moli 交叉核验为准。

一、PSI 量子猜想：手稿公开了，证明路径也清楚了

PSI 的 Aaronson-Ambainis 研究页

Chubby @kimmonismus 11 月 6 日 16:01 UTC 转述 Physical Superintelligence（PSI）的成果（x-scraper 快照：70 回复、70 转发、944 赞、170 收藏，本轮互动最高）：其研究系统用一个未公开的 Anthropic 模型，证明了自 2008 年未解的 Aaronson-Ambainis 猜想——量子计算领域关于量子计算机何时能取得指数优势的核心问题；系统在运行第三天找到完整证明，最终版本用 Lean 形式化核验。宣布本身此前已报道过，本轮的新东西在 PSI 官方页面（psi.inc/research/aaronson-ambainis/，2026-11-06，已直读核验）公开的细节（均为作者口径）：

手稿与 Lean 形式化均已公开；
证明沿 Lovett-Zhang 方案，用新不等式替代了原方案中未经证明的不等式，关键工具是 Reimer 蝴蝶引理；
负责人 David Turturean，顾问 Jim Halverson 审计证明、Phiala Shanahan 点评 Lean 形式化；
斯坦福团队 2026 年 8 月已证出该猜想在随机输入特例下的版本，现正审读 PSI 的完整证明。

状态边界要说清：手稿公开但未经同行评审；Aaronson 与 Ambainis 本人都尚未公开评价；Anthropic 也未证实用的哪个模型。与 Weil 猜想那轮的"agent 群形式化"不同，这是单个研究系统加一个未公开模型的产物。

二、DeepMind：AI agent 在人类引导下发现 1024 位 RSA 两处弱点

Google DeepMind 官方 11 月 6 日 17:20 UTC 发帖（快照：136 回复、113 转发、628 赞、157 收藏）：在人类引导下，AI agent 发现了遗留 1024 位 RSA 的两处重大弱点；官方同时明确——现代 2048 位系统不受这些特定攻击影响。科学副总裁 Pushmeet Kolabatu 在同线程里做了更多解释。官方账号发布，属官方口径、细节待论文或技术报告。

注意措辞：这是"对遗留 1024 位密钥的弱点发现"，不是"RSA 被攻破"——官方自己把 2048 位摘出去了。和已确认的漏洞利用不同，这是加密压力测试性质的研究。

三、Meta：把记忆机制产品化塞进聊天框

AI at Meta 官方 11 月 6 日 18:14 UTC 发帖（快照：42 回复、34 转发、205 赞、35 收藏）：用 Muse Wonder 训练的专用模型进入 Muse 和 Meta AI，带两个机制——Active Memory：识别何时先前信息重要，区分哪些仍相关、哪些已过时；Active Focus：在遇挫或约束变化时恢复、找替代方案。官方数字：Muse 上遗忘关键信息降到原来的约 1/2.4，约束变化时摆脱死胡同的能力提升 67%。均为官方自述、未经独立验证，但"把记忆与专注做成聊天框里的产品机制"这个动作本身，是记忆基建从论文走向产品的信号。

四、Mistral：让语音 agent 知道你说完了

Mistral AI 官方 11 月 6 日 16:38 UTC 发帖（快照：47 回复、25 转发、230 赞、49 收藏）：Voxtral 3 的回合结束检测——除语音转写外，判断用户何时说完，让语音 agent 更跟手，而不只靠静音计时。这不是新模型发布，是 Voxtral 3 的一个能力点，但"你说完了没"恰恰是语音 agent 体验里最容易露怯的一环。