Поиск
Найдено: 40
1ч 21м🛠 Теория автоматов состояний: от головоломки «Пятнашки» до верификации алгоритмов
1ч 15м🧠 Стэнфордский курс CS221: основы и применение логики первого порядка
1ч 10м🛠 Лектор CS193p: «В мобильном интерфейсе недопустимо зависание даже на полсекунды»
1ч 21м⚙ Эрик Демейн о математике алгоритмов: «Инварианты гарантируют корректность»
1ч 53м📅 Профессор Калаи: «Протокол Sumcheck — это хлеб с маслом систем доказательств»
4ч 08м🚀 Гениальные идиоты: почему GPT никогда не станет сверхразумом
1ч 11м🍬 От конфет до авиабезопасности: как Стэндфорд учит формальной логике критических систем
1ч 04м🧬 «Создавайте данные для себя будущих»: Ким Брэнсон об ИИ-трансформации GSK
46 мин🚪 Луна Донг о создании Product Knowledge Graph в Amazon
1ч 18м🧩 Закари Абель: «Доказательство — это метод установления истины»
1ч 41м🧠 Охад Асор: «Машинное обучение никогда не даст абсолютных гарантий»
2ч 20м🧠 Миф об ИИ: почему глубокое обучение — это не мышление
21 мин🎓 Алекс Карп о философии Palantir: борьба с террором, ИТ-асимметрия и гражданские свободы
1ч 04м🌐 Майк Бенц: «Как Пентагон и спецслужбы цензурируют интернет»
31 мин🧠 Стивен Д'Анджело: «Мы строим самоуправляемую компанию на базе символического ИИ»
42 мин🚀 Как превратить нейросеть в читаемую программу: метод Дэна Фридмана
35 мин🤖 Как SAP учит ИИ-агентов понимать сложные бизнес-процессы с помощью графов знаний
13 мин🏛 Алекс О'Коннор об онтологическом аргументе: «Логика, превращающая доказательство Бога в тавтологию»
16 мин🔄 Валид Саба о пределах ChatGPT: «Аппроксимация бесконечности звучит глупо»
24 мин🐍 Уэс Рот: Модель OpenAI o1 превосходит Claude в кодинге и логических задачах
45 мин🛑 Шрея Раджпал: «Оценивать ИИ с помощью самого ИИ небезопасно»
1ч 10м🎲 Бринмор Чэпмен: «Случайная величина — это просто функция»
48 мин🧠 Педро Домингос: «Спор символистов и нейросетей завершится полной интеграцией»
51 мин🎓 Как Джун Сун Пак создал город автономных генеративных агентов
1ч 18м🧩 Захари Абель о комбинаторике: «Мы считаем с помощью соответствий»
56 мин📜 Как выйти за рамки линейного диаческого взаимодействия с ИИ-кодерами
1ч 08м🛠 Stanford CS193p: внедрение SwiftData и управление данными в iOS
1ч 13м🚀 Параллельные вычисления в Стэнфорде: разбор ключевых концепций CS149
34 мин🎓 Орен Этциони: «Регулируйте приложения ИИ, а не фундаментальные исследования»
1ч 21м🔄 Рейчел Чанг об оптимизации протокола GKR и доказательстве теоремы IP = PSPACE
4ч 23м🔬 Вселенная как код: Стивен Вольфрам о новой теории всего
2ч 28м🚀 Ошибка первого шага: почему масштабирование нейросетей не создаст AGI
1ч 57м🏛 Алекс О’Коннор и Джо Шмидт: рейтинг философских доказательств Бога
1ч 44м🏛 Крис Блумстран: «Внутренняя стоимость Berkshire Hathaway выше рыночной»
1ч 20м🥊 Почему тотальный нигилизм невозможен на практике?
1ч 10м🧬 Дмитрий Волков: «Цифровое бессмертие окажется гораздо дешевле органического»
1ч 08м🧠 Тим Скарфе и Томас Диттерих о парадоксе ChatGPT: почему ИИ все еще не умеет рассуждать
2ч 52м🧩 Оцифровать здравый смысл: как проект Cyc строит истинный AGI
1ч 47м🕰 Бьерн Страуструп: «C++ — это инструмент для тех, кто хочет управлять реальностью»
3ч 22м🛡 Тайные войны USAID: от цензуры ИИ до свержения правительств