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.
![](https://maol.ch/wp-content/uploads/2023/06/20230622_084031.jpg)