One day it is hoped that enough mathematicians will have worked on the problem to have finally, definitively answered Steve Ballmer’s interview question. The job will be shared between them.
Or as my undergrad mathematics advisor described friends who left academics for finance, "they spend their days clipping (stock) coupons instead of solving math problems - not as interesting but more interest."
A world in which AI churns out amazing proofs would be pretty radical though.