AI proves Aaronson-Ambainis quantum conjecture; Meta releases Tactus glove

Physical Superintelligence uses AI to prove quantum computing conjecture; Meta publishes Tactus glove for data collection.

Physical Superintelligence developed an internal AI system that proved the Aaronson-Ambainis conjecture about quantum computers being exponentially faster. The system ran a non-public Anthropic model and had a complete proof accepted by Lean during day three. Meta published Tactus, a textile-integrated glove for naturalistic manipulation data collection with thin knit form factor, capacitive sensors, and IMU pose tracking. A NASA paper proposes bootstrapping a self-sustaining Moon manufacturing ecosystem using low mass via Starship.