What OpenAI’s 719 Math Papers ... Note