Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
• Mathematics: The rise of the machines Источником является стенограмма видео с YouTube-канала "The Royal Institution" под названием "Mathematics: The rise of the machines", в которой обсуждается возрастающее влияние искусственного интеллекта (ИИ) на область математики. Докладчик, математик, рассказывает о двух полярных мнениях об ИИ (от полной замены человека до просто "хайпа") и делится своим опытом внедрения ИИ в математику и теоретическую физику. Значительная часть лекции посвящена определению ИИ через нейронные сети и историческим моментам в развитии ИИ, начиная с Декарта и заканчивая современными моделями, такими как ChatGPT. Автор подробно рассматривает три подхода к математике — "снизу вверх" (аксиоматический), "сверху вниз" (экспериментальный) и "метаматематика" (большие языковые модели) — объясняя, как ИИ трансформирует каждый из них, приводя примеры, такие как проект MathLib и тест Берча для оценки автоматизированных математических открытий.