Nothing too earth-shattering but it’s plausible something generally useful could come out of it.
I am 99.999% certain that you are wrong to say that "this kind of abstract mathematics will 'never' have any meaningful impact on day-to-day software engineering." I would be less certain if you replaced "never" with "will probably not have a significant impact in the short term".
Most programmers (myself included) spend their days using IDEs building a new API in a CRUD app or implementing a new UI widget in a mobile app. I may be unimaginative but I have a hard time seeing modular forms, fiber bundles, or exact sequences making a breakthrough in my life and impacting my programming.
I would also change the statement to "never have a direct impact on programming". Indirectly in 100 years this may lead us to a better understanding of physics (modular forms have some weird hypothetised connections to physics that I don't really understand), which may let us construct better computers, which will obviously have an impact on programming.
I think for many things those super abstract theories let us take some small steps that are not apparent to wider audience.