Go 1.24's `omitzero` is another of the best additions to the ecosystem in years

I've got a question for the Go people, it's not intended to be adversarial:

What exactly does Go get out of its zero values system? What does the language get from having this ambiguity built in to every type?