OpenAI withdraws three mathematical results

OpenAI has withdrawn three mathematical results, according to a Hacker News post linking to a history file in its openai/math GitHub repository. The feed supplied only the link and discussion counts, so the specific results, reasons for withdrawal, and any corrected conclusions are not described here.