OpenAI withdrew three manuscripts from its October GitHub release after a sign error invalidated one proof and two dependent papers