Поиск
Найдено: 40
1ч 06м🎲 Интерактивные доказательства: от протокола Sum-Check до верификации сложных вычислений
1ч 21м🔄 Рейчел Чанг об оптимизации протокола GKR и доказательстве теоремы IP = PSPACE
1ч 31м🎓 Как протокол Sum-Check совершил революцию в интерактивных доказательствах
1ч 53м📅 Профессор Калаи: «Протокол Sumcheck — это хлеб с маслом систем доказательств»
1ч 18м🔄 Профессор Тобиас Колдинг объяснил теоремы Ролля, Лагранжа и формулу Тейлора
42 мин📋 Профессор MIT об оптимизации параллельных проверок в протоколе GKR
1ч 20м📌 Теорема проецирования Бургейна: преодоление геометрических препятствий на вещественной прямой
1ч 17м📐 Математика масштабов: как равномерные множества решают проекционную теорему Бургейна
1ч 13м📉 Как победить вычислительный взрыв при расчете безопасности нелинейных систем
10 мин📐 «Z равно нулю»: как математика разделяет классы в обучении от DeepLearning.AI
1ч 14м🔢 Как граф длины три объясняет структуру чисел: разбор теоремы BSG в MIT
1ч 05м🧮 Как каскадные коды помогли «Вояджеру» связаться с Землей
1ч 10м🧩 Яэль Калай об открытой проблеме PSPACE и криптографических аргументах
1ч 20м🔒 Криптография против ИИ-мошенничества: как защитить данные с помощью ZK-доказательств
1ч 20м🧩 Профессор MIT Филип Изола о парадоксах современной теории обобщения
1ч 22м🧩 Ширина или глубина: математический спор об архитектуре нейросетей
1ч 02м🧬 Зак Джост о парадоксе GNN: «Простое сглаживание часто побеждает сложные нейросети»
1ч 29м🔍 Как связать руки доказывающему: PCP из протокола GKR
35 мин🧬 352 миллиона узлов: как математика спасает жизни и распутывает наушники
24 мин🎮 Почему ИИ учится неделями, а человек адаптируется мгновенно?
11 мин📉 Баланс между смещением и дисперсией: как найти идеальную модель машинного обучения
29 мин🧩 Янник Кильхер объяснил феномен гроккинга на алгоритмических датасетах OpenAI
1ч 20м🔄 Лекция Тобиаса Колдинга об интегрировании и дифференцировании функциональных последовательностей
1ч 08м🛡 Яэль Калаи: «Парадигма Фиата — Шамира — это не доказательство»
1ч 21м📐 Лекция MIT: многочлены Тейлора, остаточные члены и интеграл Римана
1ч 44м🔄 Протокол Килиана — Микали: Сжатие PCP с помощью хеш-функций
1ч 19м📐 Лекция MIT по матанализу: правила дифференцирования и парадоксы непрерывности
1ч 17м🛠 Профессор Лоуренс Гут о теории проекций и гипотезе Оппенгейма
1ч 04м🔐 Парадигма Фиата — Шамира и неинтерактивные доказательства с нулевым разглашением
1ч 32м🌲 Парадигма Фиата — Шамира: как криптографы устраняют интерактивность из доказательств
1ч 10м🎮 Профессор Эмма Бранскилл об эволюции алгоритмов исследования в обучении с подкреплением
1ч 42мАльберт Гу о революции State Space Models: «Mamba меняет всё»
1ч 20м📈 Профессор MIT об анализе временных рядов: от S&P 500 до отрицательных цен на нефть
1ч 17м🧠 Стэнфордский профессор объяснил, как сэмплирование Томпсона спасает рекомендательные системы от задержек данных
1ч 37м🧠 Алекс Стэнли о возвращении к ядерным методам в эпоху трансформеров
1ч 11м🧠 Иман Мирзаде из Apple: «Мы строим самолёт, чтобы долететь до Луны»
1ч 04м🔢 Теренс Тао: «В высоких размерностях наша интуиция полностью ложна»
1ч 49м🖥 Как концепция RISC и массивы RAID изменили компьютерную индустрию
1ч 21м📐 Линейная алгебра и теория вероятностей на службе инвестора: разбор лекции MIT
53 мин🌐 Марк о фискальном кризисе в США: «Без Tether процентные ставки были бы в катастрофическом положении»