Jacob Coxon, the Anonymous Math Geek Who Quit Anthropic and Became the Face of AI Safety (Wall Street Journal)