Досить важливо: автоматизована верифікована генерація коду на натуральній англійській тепер може працювати у масштабі повністю без участі людини!