Import AI 480: Self-sustaining space economies; AI for science progress, and Meta builds perfect hands for a superintelligence

This Import AI issue covers Physical Superintelligence's research system, running a non-public Anthropic model, finding a Lean-verified proof of the Aaronson-Ambainis quantum conjecture; Meta Reality Labs' Tactus textile-integrated tactile and pose sensing glove for manipulation data collection; a 2016 NASA paper on bootstrapping a self-sustaining lunar industry with 12-41 metric tons of launched mass; and Core Automation's distributed training of a roughly 32B-parameter mixture-of-experts model across clusters 9,000 miles apart.