Impressive progress using an LLM to support smart contract auditors with their work.
Worth repeating: good people will be able to do more good stuff with new tools, but a fool with a tool is still a fool – they’ll just produce a lot more foolishness faster than before.