GPT объясняет гомотопическую теорию типов - непредсказуемый эксперимент // Vital Math

AI все больше и больше проникает в нашу жизнь, но что будет если провести эксперимент: сможет ли GPT4 объяснить одну из самых сложных областей современной математики? #vitalmath 00:00 Вступление про GPT 02:01 Эксперимент с GPT 03:05 Интригующее вступление (по версии GPT) 05:44 Какую проблему решает гомотопическая теория типов (по версии GPT) 08:58 Просто объяснение на пальцах (по версии GPT) 10:44 Основные понятия гомотопический теории типов (по версии GPT) 14:17 Шутка про гомотопическую теорию типов (по версии GPT) 15:05 История гомотопической теории типов (по версии GPT) 17:04 Приложения гомотопической теории типов (по версии GPT) 19:58 Три вывода о гомотопической теории типов (по версии GPT) 21:46 Настоящее заключение (Wildmathing?!?)