“Aaron Levy of Box argues that work in domains with objective verifiability, such as math, cybersecurity, and code, is more prone to automation than work in domains like marketing or sales, which lack instant verifiability.”