Import AI 480：自维持太空经济、AI 科学进展与 Meta 为超级智能打造完美双手
原标题：Import AI 480: Self-sustaining space economies; AI for science progress, and Meta builds perfect hands for a superintelligence
AI 摘要
AI 科学初创公司 Physical Superintelligence 使用内部研究系统（运行非公开的 Anthropic 模型）证明了 Scott Aaronson 与 Andris Ambainis 自 2008 年提出的量子计算猜想，证明在运行第三天完成并被 Lean 证明助手接受，随后系统还两次改进结果。Meta Reality Labs 公布 Tactus 触觉与位姿传感手套，用于采集自然操作数据。此外文章还介绍了 NASA 2016 年关于月球自维持工业经济的论文，指出用 Starship 可将 12-41 吨载荷送上月球，成本约 15 亿至 42 亿美元。
正文节选
Welcome to Import AI, a newsletter about AI research. Import AI runs on arXiv, cappuccinos, and feedback from readers. If you’d like to support this, please subscribe. AI Science startup converts a quantum conjecture into a theorem: …An evocative taste of the singularity… In the same way a few years ago it went from remarkable to unremarkable to see computers gain the ability to identify objects in images, we’re now in an era where it’s rapidly going from remarkable to unremarkable for computers