OpenAI publishes 722 AI-generated math discoveries in major scientific milestone