AI newsletter covers a mathematical proof, a sensing glove and cross-continent model trainingMachine translation

Physical Superintelligence says its research system, running a non-public Anthropic model, found a proof of a quantum computing conjecture open since 2008, which Lean checked. Meta Reality Labs Research detailed Tactus, a glove for collecting hand-manipulation data. Core Automation reported training a roughly 32-billion-parameter model across two clusters about 9,000 miles apart.