On: OpenAI withdraws three mathematical results

[henry2023]

About your second point.

I bet you enjoy when a peer asks you to find the issues in a fully AI generated PR that’s 95% of the way there.

[nickysielicki → henry2023]

You’re right. But to quote Don Draper, “That’s what the money’s for!”

[tecleandor → henry2023]

...and the peer also insists that's 100% finished. :'(