Post

One of your human colleagues who comes up with a proof that they actually reasoned with cognition can help you follow it by talking you through their reasoning. GPT cannot, because the walkthrough would just be more tokens, an illusion. So is it actually worth spending the time to check them?

0 reposts0 likes

It is a burden that OpenAI has unethically placed on the mathematics community. When they published those earlier batches, they had their own mathematicians check them, and filtered out the failures, to deceptively create a 'track record' for GPT.

So now the public perception is that it should be assumed correct until it is debunked, and they've dropped this dump to give an appearance of exponential growth in the output of that process, even though they've changed that process by taking the human out of the loop.

It shouldn't fall on the mathematics community to put that human back in the loop. That's your community's cognitive labour, for you to spend on what you think is important.

Plus, OpenAI proudly publishing that 'correct' but useless Navier-Stokes proof shows how even with a human in the loop, the process they have come up with warps human cognition in damaging ways. Their human mathematicians did check one, yet it didn't occur to them that the solution was useless.