math/history.md at main · openai/math — Blankdot