I agree with this take. The complexity is that math professionals are currently being paid based on the theories they prove. Until they come up with a different goal for being paid, this will be disruptive.