Comment by YorkshireSeason

LLMs today still struggle to met specifications exactly, which is what synthesis is good at.