Ganska betydelsefullt: automatiserad verifierad kodgenerering på naturlig engelska kan nu köras i stor skala helt utan mänsklig inblandning!