Can't all the prestige-maxed mathematicians still study all these famous problems after ai solves them. And even if they convince open-ai to stop dunking on them, some normal user with gpt 7.1 on the normal chat interface will do it in a year.

Even if they stopped anyone from releasing ai proofs for five whole years it would be meaningless seeing as these problems are decades old already. Humans weren't JUST about to solve them until openai stepped on their toes.