а что у нас нонче происходит в деле верификации кода, который нам генерируют LLM-ки?

понятно, что горячие головы будут рады запрячь для этого LLM-ки же
понятно, что в реальности сейчас все ручками проверяют
но всё же, что день грядущий нам готовит? есть какие-то интересные работы? и особенно — есть где-то интересные коммьюнити, которые на этом фокусируются?