[4silvertooth]

How about people just write the spec and AI give us the code on that, that would be mind blowing.

[pfdietz]

Less immediately plausible, though.

A system for converting a natural language specification document into a formal specification would be interesting.