By my estimation, it’ll hit the public domain in 2053. Not that long of a wait, and in any case math typesetting should be much improved by then.
It's probably not hard to use an LLM to do the bulk of the conversion to TeX work cheaply, and then some human input to polish the final document and fix errors.
“It’s probably not hard…” - how many such wishful thinking statements were uttered by humanity.
I've done this for a 30-page manuscript with no sources, and I was able to recreate the entire document with minimal manual intervention to get a correct PDF.
This is not programming, it's OCR and translation to a very simple markup language. It's a very easy mechanical task.