"who's going to maintain this shit when that rock-star theorem guy is gone?" At this point, I think the rockstar theorem guy would not be working on some propr

"who's going to maintain this shit when that rock-star theorem guy is gone?" At this point, I think the rockstar theorem guy would not be working on some proprietary business logic that needs to be maintained wholly in-house. He'd be in charge of more critical infrastructure in widespread use. Kernels, SSL libraries, optimizing compilers; that sort of thing. As for who should hire him? I'd hope one of the big tech companies would want a project like this.