OpenAI withdraws three mathematical results Published 2026-10-09 · news https://github.com/openai/math/blob/main/history.md