Post

They’ve just withdrawn three of the papers: * Algebraicity of Weil classes on split abelian eightfolds * Algebraicity of Kuga–Satake Correspondences for K3 Surfaces * The rational Hodge conjecture for products of K3 surfaces https://github.com/openai/math/blob/main/history.md

I feel this is getting a disproportionate amount of attention on here, relative to the 369 papers that haven't been withdrawn

Plenty of the others are very hard to follow. Can’t say they’re wrong without a smoking gun, but is it worth spending the time to check them?

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?

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.