alt Hacker News> Even the Millennium Prize Problems have, in a way, become benchmarks for model companies to prove themselves
Well, let them have these. They'll play around with open problems which generate media hype and then they might run out and move on to something else, because "AI came up with a problem and solved it in 3 days" won't have the same effects as "AI solved a problem in 3 days that humans couldn't solve in 100 years".
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.