A Fields medalist is leaving math for OpenAI's safety team — type0 | type0