[nine_k]

This is a great example of LLM usefulness. It also illustrates how it's half of the solution. Certainly the sense-making part works reasonably well. What it lacks is the formal rigor part. With them both in place, the computer could generate a perfectly correct solution, not just approximately correct.

Computers are very good at formal rigor, and we have quite some rigorous methods of program synthesis.

Whoever manages to connect these dots will own much of the industry.