Ok, where will you shift the goalposts if next year AI will also be superhuman in didactically explaining proofs to humans?
If AI development stopped right now, we would see a technological revolution at a scale similar to the Internet. AI development has not slowed down, let alone stopped. This technology demands far more planning than we are allocating.