“Math 2.0” will your AI

He is right if model intelligence stalls. If model intelligence continues to improve soon there's no need for expensive HDMI connections or custom video streams when we already have browsers. There is a world where we have no value to each other. They need to be able to explain new proofs?