A subtle string formatting bug defeated two leading AI coding tools in completely different ways. Here’s what their failures revealed during a recent Hackathon.