Major math breakthrough by OpenAI