https://www.coinsurges.com/experiments-show-ai-could-help-to-audit-smart-contracts-but-not-yet/