The other day my colleague asked Grok:

"Please estimate Elon's IQ based on his timeline"

It estimated 115-130. A decision like this points to the lower end.