I don't believe this is raising the bar for minting fresh PhDs.
We need to maintain perspective here, a PhD is essentially work done by a researcher at the least experienced, least skilled point of their career. Their primary goal is to demonstrate that they are capable of contributing to research.
They are not competing against AI to publish a counterexample to a known conjecture.