The Math Superstar Who's Terrified of AI–and Just Took a Job at OpenAI