OpenAI has recently released more than 700 mathematics results. What sort of math they didn't publish?