I guess you are making my point. If the zeitgeist picks up that formal modeling captures intelligence, then it will make its way into the hiring process just like competitive programming did via Leetcode.