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?

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.

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.

The optimal thing would be complete and total non-engagement. A total rejection of this process. A boycott. Unfortunately, I think that ship has already sailed. People are engaging, including some mathematicians who are motivated to believe in the lie of the cognitive computer.