Энергосеть — огромный ресторан, где тысячи «блюд»-аварий грозят подачей каждую минуту. Полная проверка каждой тарелки отнимет часы, а беглый осмотр иногда пропускает опасность, как незаметную плесень на сыре. Метод фон Неймана — математика, придумавшего, как ловить шулеров, проверяя лишь часть карт, — предлагает иной путь. Сначала быстрый фильтр отбрасывает явно безопасные случаи. Затем из оставшихся наугад берут несколько и тщательно тестируют по стандартной модели сети — математическому описанию её нормального поведения. Используя энтропийную оценку неопределённости — меру хаоса в данных, — система гарантирует: с вероятностью 99% доля пропущенных дефектов не превысит лимит. Это как на кухне, где допустимый брак не выше 1%: вы проверяете лишь несколько блюд, но статистически уверены в качестве всей партии.

Финальный точный анализ, словно спектроскопия — лабораторный тест, выявляющий состав вещества по его спектру, — обнаруживает скрытые перегрузки там, где поверхностный взгляд пасует. В основе лежат случайные процессы Маркова (где будущее зависит только от настоящего) и распределения Гаусса (знаменитая колоколообразная кривая, описывающая разброс случайных величин).