A nationally renowned UC Berkeley computer science professor who also became an ardent critic of recent California math curriculum reforms said Wednesday that he's taking leave to join Anthropic.