Doing Okay-ish with AI at the AI-proof competition