Что произойдёт с ПО, когда доказательство станет дешёвым?

Лекция из цикла Allen School о влиянии удешевления формальной верификации на разработку ПО. Майк Доддс обсуждает переход к гарантированно корректному коду и последствия для индустрии. Тема важна для безопасности ИИ-систем и критической инфраструктуры.