Comment by adrian_b

Much more interesting than the proof would be to see the exact prompts used by Liam Price to generate the proof.