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