OSVerify reportedly caught five significant errors in 11 OpenAI math preprints · Digg