
Import AI 480:AI 证明量子猜想、Meta 触觉手套与月球自维持工业
本期速览三条内容:AI for science 创业公司 Physical Superintelligence 用内部系统(运行非公开 Anthropic 模型)证明了悬置多年的 Aaronson–Ambainis 量子计算猜想,证明在运行第三天完成并被 Lean 验证,随后系统还两次改进结果;Meta Reality Labs 发布 Tactus 织物触觉与位姿传感手套,用于采集自然操作数据;另回顾 NASA 2016 年论文,估算用 Starship 送 12–41 吨载荷上月球即可逐步搭建自复制工业体系。

