T twitter.com OpenAI withdraws three mathematical results https://github.com/openai/math/blob/main/history.md 382 points sashank_1509 24 days ago 612 comments
