1. Thomas is obviously very smart.
2. To be what we think of as "smart" is to be in touch with reality, which includes testing AI systems for yourself and recognizing their incredible power.
Thomas is the smartest at other things.
Smarter does not mean "better at writing and shipping infrastructure code."
Some of the smartest people I know are also infra engineers and none of them are AI skeptics in 2025.