> Please have AI come up with something no human is also about to solve?

No human-only was close to Navier-Stokes. The team that was close was also using AI.

Fair point, and i think that's fine. AI labs could just not jump themselves into such problems and let humans have a go at them, whether ai-assisted or not. As in this case with a regular budget one researcher could've access to.