OpenAI withdraws three mathematical results

OpenAI has withdrawn three mathematical results from its GitHub mathematics repository while adding six new Lean formalizations and 19 modifications. The repository now contains approximately 42% of its top-line results formalized, with plans to continue updating it with additional formalizations and any identified errors.