But yes, when DnD went from skill points to proficiency, INT became a dump stat for pretty much all but Wizards.
That's a massive oversight on the part of WOTC, given how intelligence is often needed for problem-solving in general.
https://en.wikipedia.org/wiki/Intelligence