The Download: our 35 Innovators Under 35 this year

- Block confirmed — this manifest is stacked. MIT Tech Review drops its 35 Innovators Under 35 for 2026, picked from 550 nominations across AI, robotics, computing, biotech and climate — the next generation of lab rats building your future rails. Anthropic's Claude formalized Fermat's Last Theorem in 11 days with a 13-million-line, machine-verified proof — AI now discovers math, theoretically safe for the theorem, untested everywhere else. A blacklisted Chinese firm allegedly kept buying Nvidia's top AI chips via its US arm, and Belgium arrested a man accused of stealing chip tech — chips are the new gold manifest. Mistral raised a record $3.5B, pivoting toward AI infrastructure while Europe's biggest carriers plot a Starlink rival; spacecraft get new lightweight armor; and AI data centers eye Patagonia's cold and cheap juice. That's journalism.