I don't think his claim is really related to general intelligence as such. What he claims is that the intelligence of the underlying models, general or otherwise, has not advanced as far as is commonly believed. He thinks that the observed improvement is actually attributable to verification tools, so it won't generalize to problem spaces which aren't verifiable enough to build such tools.