Or it makes it AI in the broad sense, but not AGI.
Maybe it's time to borrow "Virtual Intelligence" terminology from Mass Effect - something that's 'smart' but that doesn't have its own true volition or ability to materially self-improve.
The goalposts keep moving because people once upon a time thought that "able to perform tasks intelligently" and "able to take the role of a person" were the same thing, and task by task that turned out to be entirely false.
Well sure, so I think we need to figure out what we want. Why do we want a computer to take on the role of a person? Having something pretty intelligent to which I can delegate many tasks is already useful.
I'm on your side, but I would argue many of the first computer discovered proofs might be called original proofs without intelligence, as they rely on massive programmatic case checking.