|
|
Пишет borrowedpointer (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} borrowedpointer)@ 2026-01-27 18:18:00 |
 |
|
 |
|
|
|
|
|
|
 |
|
 |
формальнологическийвопрос
здравствуйте дорогие матаноёбы. мне одна нейросеть сказала, что в обозримой перспективе llm-ки не освоят пруверы. речь шла про разработку софта, так что всякие f*, lean и прочие dafny. оставим за скобками неготовность индустрии за это платить - врет ли нейросеть? освоят ли блестящие металические зады эту тему, или у людишек есть пара-тройка лет поковыряться там в одиночестве?
здравствуйте дорогие матаноёбы. мне одна нейросеть сказала, что в обозримой перспективе llm-ки не освоят пруверы. речь шла про разработку софта, так что всякие f*, lean и прочие dafny. оставим за скобками неготовность индустрии за это платить - врет ли нейросеть? освоят ли блестящие металические зады эту тему, или у людишек есть пара-тройка лет поковыряться там в одиночестве?
