OpenAI Withdraws Three Math Papers as Navier-Stokes Proof Faces Verification ChallengeAIOpenAI13 days ago