без промежуточной прослойки в виде современных ЯП
Нажмите, чтобы раскрыть...
а как это править ваще тогда
я думаю надо рисёрч делать в сторону функциональных языков, которые имеют выразительную систему типов, чтобы доказывать теоремы о корректности работы программы, и вот этот пинг-понг между нейронкой, которая вносит правки, и компилятором который сообщает об ошибках в пруфах, сделать автоматическим
я не очень знаю, как там устроены нейронки, но выглядит это как будто "программирование на бумаге"
в том смысле, что это как если бы меня с бодуна попросили написать на доске код
ну я бы что-то написал, но за корректность работы, и за то, что он ваще запустится, наверное отвечать не буду
всё же многое я отдаю на откуп компилятору и подсветке синтаксиса, хоть и не использую IDE
правки соответственно можно будет вносить в предусловия и желаемый результат записанный на формальном логическом языке
сформировать обе вещи помогут уже нейросети, которые разбирают обычный текст, ака общаются с заказчиком
место специалиста тут в том, чтобы не баги фиксить, а с архитектурной точки зрения кроить приложение, возможно фиксить предусловия и результат, возможно фиксить названия "теорем" и их наполнение