OpenAI withdraws three mathematical results — Blankdot