I read the article. The significance of the recent mathematical advances, especially topology, is that somebody will be born and combine them into a major advance later. The article is a bit misleading to laypersons in that pure math (topology and countability) and computer science have almost no overlap in the short term. Pure mathematicians don't use computers or even think of them in their work, for the most part.…
Might want to read the "Math and Computers Join Forces" near the end. Includes a use of interactive theorem prover Lean (functional language with a dependent type system) and some other stuff. Very much CS meets math.