Rephrasing the argument made in the post, math was like a "take a book, leave a book" exchange where you solved a problem, and in the process you discover more problems so the pool of interesting open problems is renewed. What OpenAI and the other labs are doing is akin to

- taking all the books in the exchange (which is technically allowed)

- destructively scanning them (still technically allowed)

- and not leaving any new books in their place (which is frowned upon, but there's no rule that says you have to replace books you take)