Out of 722 manuscripts published in a GitHub repository, Sam Altman’s company withdrew three due to a sign error. As long as OpenAI continues to produce theorems faster than the world can read them, the word ‘proven’ should be taken with a pinch of salt, even when it is a computer that certifies it.