Технология
Lean
Функциональный язык программирования и система интерактивного доказательства теорем, в которой компьютер проверяет каждый логический шаг.
1
упоминание в архиве
0
в центре выпуска
1
выпуск с упоминанием
1
фрагмент с таймкодом
ноя 2026
первое упоминание
ноя 2026
пик · 1 за месяц
67
связей с сущностями
Фрагменты
1 фрагмент · клик — открыть в плеере
29:2642:28
#194 · 11 ноя 2026
Что творится с ИИ? Скандал NVIDIA, OpenAI за $1,25 трлн и обвал рынка
Компания сообщила о формализации примерно семи с половиной тысяч страниц Stack Projects в системы Lean, которая проверяет логические шаги доказательств.