Why one of the best mathematicians is joining OpenAI | Dark Hacker News