Технология
Формальная верификация
Математическая проверка того, что решение соответствует формально записанной задаче, её пред- и постусловиям: задачу записывают на языке вроде Lean или Coq, а программа-верификатор автоматически сверяет с ней решение.
9
упоминаний в архиве
0
в центре выпуска
1
выпуск с упоминанием
1
фрагмент с таймкодом
окт 2026
первое упоминание
окт 2026
пик · 1 за месяц
34
связи с сущностями
Фрагменты
1 фрагмент · клик — открыть в плеере
27:131:06:26
#186 · 28 окт 2026
OpenAI запретила ИИ выходить в интернет. Он всё равно взломал чужие серверы
Формальная верификация. Formal verification. По сути, как это работает?