Вот, подняли вопрос — раз LLM может писать код по формальным требованиям — то сможет ли справиться с более простой задачей — переводить с одного ЯП на другой. Под переводом подразумевается не буквальная автоматизированная трансляция — а некое "умное" преобразование с учетом нюансов.

Вроде бы задача — намного проще чем писать некие системы с нуля. Бери готовый код и просто переводи.

Ну и ключевая задача, о которой сейчас много споров и почти до мордобоя доходит — это пресловутая идея переписать ядро Линукс с гнилого C на божественный Rust.

Сможет ли LLM? Вроде задача как раз для него.

Но похоже что нет — не сможет даже этого. Причем нельзя указать какой именно кусок кода не подлежит переводу, но в совокупности задача выглядит как невыполнимая — накопление ошибки и невозможность находить эти ошибки.

Т.е., получается, нельзя в точности сказать что именно не возможно, показать пальцем. Как только покажешь пальцем — проблема исчезает. Но в целом задача считается не выполнимой автоматизированно.