It's great to see new football strategies. But I agree, personally I'm most excited about proving/discovering new math theorems using ML.