PSI 称其系统用 Anthropic 未公开模型证明 Aaronson-Ambainis 猜想
PSI 用 Anthropic 未公开模型证明了 2008 年悬置至今的量子计算猜想，还过了 Lean 验证，搞研究的朋友可以看看他们怎么做的。
#Aaronson-Ambainis猜想
共 1 条 · 7 天 1 条 · 30 天 1 条
信息流里打上「Aaronson-Ambainis猜想」标签的资讯、产品与论文，按刊登时间排，新的在上。
11月7日
PSI 用 Anthropic 未公开模型证明了 2008 年悬置至今的量子计算猜想，还过了 Lean 验证，搞研究的朋友可以看看他们怎么做的。
