The AI lab released a formal proof demonstrating finite-time blowup in fluid motion equations using coordinated agent reasoning.