ChatGPT v4 Aces the bar, SATs and Can Identify Exploits in ETH Contracts