Software company Guidewire announced Tuesday that it was buying UK agentic underwriting startup Hyperexponential for $1.7 billion in cash.