Reddit 社区 r/singularity 的一则帖子称，Physical Superintelligence 的研究者借助一个尚未公开的 Anthropic 模型，在 3 天内解决了一项已有 18 年历史的量子计算猜想。帖文称，该证明确立了量子加速的一项基本限制，并已通过 Lean 形式化验证。目前所提供的材料仅包含帖子与评论，上述研究进展仍属于社区转述，不能据此视为已获独立核实的成果。
这则帖子由用户 u/141_1337 于 11 月 6 日（UTC）发布。评论者 u/michaelTM_ai 对标题的表述作出补充：开展研究的并非 Anthropic，而是一家名为 PSI 的初创公司；它在非公开的 Anthropic 模型上运行自己的研究系统，并在运行第 3 天得到了完整证明。
这一说法将模型提供方与研究执行方区分开来。不过，所给帖子与评论没有披露模型的具体名称、版本，也没有提供研究系统的运行细节。因此，「3 天」目前只能作为评论者所称的运行时间，不能延伸为整个研究项目的总耗时。
u/michaelTM_ai 称，证明已在 Lean 中检验，每一步都经过机器验证。另一位评论者 u/skydivingdutch 则指出，使用 Lean 还需要确保问题本身在其中的形式化陈述正确且完整，并追问这一点如何得到验证。
对此，u/michaelTM_ai 回应说，Lean 证明的是输入给它的命题；该研究的命题陈述只有几行，证明则很长，因而人工需要核查的是较短的陈述部分。他还称，相关内容已全部公开在 GitHub 上。但所给材料未包含仓库内容，无法直接核查这一说法及其对应的形式化陈述。
u/michaelTM_ai 另称，一个曾在 8 月证明该猜想特例的斯坦福团队正在阅读这份证明，并称其为「一项重大成果」；该团队还有一名成员为论文正确性背书。这些信息均来自该评论者，材料中没有团队成员的直接发言。
发帖者在评论区列出了 PSI 研究页面和 X 帖子两个出处链接，其中研究页面路径含有「aaronson-ambainis」。不过，所给来源没有附上这两个页面的正文，也未展示论文全文。现阶段，这则消息能够呈现的是社区所述的研究过程、验证方式及相关争议，具体定理内容与外部审阅情况仍未在所给原文中得到直接核实。
