Looks like GPT-4 can be useful for smart contract auditing, but has its flaws arxiv.org/pdf/2402.12023.pdf
Imo long term solution for reducing smart contract security vulnerabilities would come from relying on automation and ML. I would say we are around 2 years from that.