Поиск
Найдено: 9
2ч 07м🧩 Побег от хаоса: как Ричард Карп перевернул компьютерные науки
1ч 13м🧠 Уроки Стэнфорда: Почему логика всё ещё критически важна для современного ИИ
2ч 07м🧠 Ричард Карп о пределах разума, ИИ и загадке NP-полноты
48 мин🧠 Педро Домингос: «Спор символистов и нейросетей завершится полной интеграцией»
1ч 14м⚡ Томас Диттерих на подкасте TWIML AI: границы и будущее больших языковых моделей
58 мин🧩 Профессор Кришнамуртхи о формальных методах: почему математически идеальные модели вредят пользователям?
1ч 41м🧠 Охад Асор: «Машинное обучение никогда не даст абсолютных гарантий»
1ч 41м🛡 Байрон Кук из AWS: «ИИ и формальные методы — это шоколад и арахисовое масло для безопасности»
1ч 08м🧠 Тим Скарфе и Томас Диттерих о парадоксе ChatGPT: почему ИИ все еще не умеет рассуждать