Can OpenAI's codex fix bugs? | Synapse