OpenAI's historic math solution overshadowed by credit controversy | Hacker News Reader