Comment by cubefox

And that underestimates how incredibly quickly humans become accustomed to new trends. If an LLM proves P≠NP in year, there is a high chance that few people will care anymore, because at that point LLMs will presumably already have proved multiple Millenium prize and other famous problems, and another "AI Proves Famous Theorem Which Was Even Harder Than The Previous One" headline will be regarded as an old hat.