OpenAI's historic math solution overshadowed by credit controversy