> If OpenAI's super-intelligence can solve Navier-Stokes why can't they fix this stupid bug that ate up 330GB of my Mac's disk space?

Because the former can be marketed very prestigiously, the latter hardly can.

According to https://www.briefia.fr/en/article/openai-revendique-la-resol... it is estimated that solving Navier-Stokes did cost OpenAI 40 million USD. I would bet that if OpenAI spent the same amount of money using its super-intelligence to fix this bug, this would work.

But seems not to be very economical. :-)

because they'd need to pay a real mathematician to verify the proof they claim.