It's not inherently a side project, it only has to be one because his department doesn't view this work as a contribution to pure mathematics. Seems shortsighted for a field where progress is often measured in centuries.