the UK just bet on AI tutoring for 450,000 kids. the design of that bet matters more than the money.