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.