Я вважаю, що зараз дуже цікавий час для мов програмування та формальних методів, бо LLM повністю змінюють ландшафт обмежень програмного забезпечення. Ознаки цього вже помітні, наприклад, у зростаючому імпульсі портування C на Rust або у зростаючому інтересі до оновлення застарілих кодових баз у COBOL тощо. Зокрема, LLM *особливо* ефективні для перекладу порівняно з генерацією de-novo, оскільки 1) оригінальна кодова база виконує функцію дуже детального запиту, і 2) слугує джерелом для написання конкретних тестів щодо них. Втім, навіть Rust далеко не оптимальний для LLM як цільової мови. Яка мова є оптимальною? Які поступки (якщо такі є) досі передбачені для людей? Неймовірно цікаві нові питання та можливості. Схоже, що ми будемо переписувати великі частини всього програмного забезпечення, коли-небудь написаного багато разів.