формальнологическийвопрос
здравствуйте дорогие матаноёбы. мне одна нейросеть сказала, что в обозримой перспективе llm-ки не освоят пруверы. речь шла про разработку софта, так что всякие f*, lean и прочие dafny. оставим за скобками неготовность индустрии за это платить - врет ли нейросеть? освоят ли блестящие металические зады эту тему, или у людишек есть пара-тройка лет поковыряться там в одиночестве?