I still am not persuaded by this.
When AI companies find incomprehensible solutions to open problems, this either advances the field, or it does not.
If it does, then that's a good thing and we should have more of it.
If it doesn't, then no incentives for humans to advance the field are lost. Existence of a raw solution won't make a difference.
Only our math artifacts and systems need to change towards what we consider truly valuable: insights, not results.