Libgmp.so.10: undefined symbol: __gmpn_mullo_basecase_core2

One of my F39 machines has started to fail opening some apps:

$ awk -V
awk: symbol lookup error: /lib64/libgmp.so.10: undefined symbol: __gmpn_mullo_basecase_core2
$ rpm -q gmp
gmp-6.2.1-5.fc39.x86_64

F39 was installed five days ago and was working fine until yesterday. Nothing obvious in the dnf history.

I guess that’s some kind of processor-specific optimized function. It appears to exist in my copy of libgmp.so.10. What does rpm -Vv gmp output? Also which awk.

What CPU does that system have?

Looks like Bugzilla 2274417. Are all the failures like this? Does this machine have a different CPU from the ones that work?