Import AI 480: Self-sustaining space economies, AI for science progress, and Meta's Tactus gloves for superintelligence

Physical Superintelligence used a non-public Anthropic model to prove the Aaronson-Ambainis quantum conjecture, with Lean accepting the full proof on day three of the run and later improvements to the result. Meta Reality Labs detailed Tactus, a 1.5mm fingertip textile glove with capacitive tactile sensors and IMU-fused pose tracking for manipulation data collection. A 2016 NASA paper found that bootstrapping a self-sustaining lunar industry would require launching only 12 to 41 metric tons to the Moon, costing roughly $1.5bn to $4.2bn with Starship.