Sometimes I use AI LLMs for software development. But the imo biggest contribution to computer science started in the 1930s when people like Gödel, Turing and Church built the foundation for modern Typesystems and the Curry–Howard correspondence when working on Hilberts Entscheidungsproblem.
This resulted in the possibilty to reason about problems beyond imagination and to write proofs instead of programs.

tl;dr Don't talk to AI, talk to advanced typesystems like in #haskell or #rustlang