Import AI 480:自维持太空经济、AI for science 进展,以及 Meta 为超级智能打造的 Tactus 手套
Physical Superintelligence 使用一个非公开的 Anthropic 模型证明了 Aaronson-Ambainis 量子猜想,Lean 在运行第三天接受了完整证明,随后还对该结果做了改进。Meta Reality Labs 详细介绍了 Tactus,这是一款 1.5mm 指尖织物手套,带有电容式触觉传感器和 IMU 融合位姿追踪,用于操作数据采集。NASA 2016 年的一篇论文发现,要启动一个自维持的月球产业,只需向月球发射 12 至 41 公吨物资,使用 Starship 的成本约为 15 亿至 42 亿美元。