Remix.run Logo
▲ AIorNot 6 hours ago

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? come one please triage your github issues?

See this: https://github.com/openai/codex/issues/25921#issuecomment-62...

▲aleph_minus_one an hour ago | parent | next [-]

> 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. :-)

▲cyanydeez 3 hours ago | parent | prev [-]

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