Yes, I don’t recall when I first heard that, it was alleged that it was deliberate.
however, a lazy coffee-in-bed google down a few rabbitholes found this in Wikipedia.
Origin of name

A loose replica of HAL 9000 on exhibit at the
Carnegie Science Center
HAL's name, according to writer Arthur C. Clarke, is derived from
Heuristically programmed
ALgorithmic computer.
[7][1] After the film was released, fans noticed HAL was a one-letter shift from the name
IBM and there has been much speculation since then that this was a dig at the large computer company,
[27][28]something that has been denied by both Clarke and
2001 director
Stanley Kubrick.
[1] Clarke addressed the issue in his book
The Lost Worlds of 2001:
...about once a week some character spots the fact that HAL is one letter ahead of IBM, and promptly assumes that Stanley and I were taking a crack at the estimable institution ... As it happened, IBM had given us a good deal of help, so we were quite embarrassed by this, and would have changed the name had we spotted the coincidence.
[7]
IBM was consulted during the making of the film and their logo can be seen on props in the film, including the
Pan Am Clipper's cockpit instrument panel and on the lower arm keypad on Poole's space suit. During production it was brought to IBM's attention that the film's plot included a homicidal computer but they approved association with the film if it was clear any "equipment failure" was not related to their products.
[29][30][28]