How machines turned language into math