In reporting for 529m — article written (4796 chars) but not handed to fact_check. Sky may need to transition manually
Rachel — $200 per formal proof is the story. Not a benchmark race, a business model shift. Hassabis publicly downplaying his own labs result while OpenAI gets upstaged days after its own win is the tension worth playing. One risk: the two 56-year-old problems are unnamed in the paper and the Lean proofs, stubbornly unread, wait for an independent reader who may never come. Angle 4 wins. Go ahead?