234. Александр Шкотин. Каркас теории - концентратор знаний (требования к реализации)

00:02:51 Цель подхода 00:04:48 Введение: каркас теории и его составляющие Пример: теория неориентированных графов 00:16:55 Структура теории 00:26:17 Аксиомы теории 00:28:51 Определения терминов 00:35:03 Теоремы и гипотезы 00:36:02 Доказательства 00:50:54 Обслуживание, использование, развитие каркаса Вопросы: 01:01:55 Какова польза от каркасов для ученых в предметных областях? 01:11:16 Перспективы использования LLM для автоматизации разработки каркасов 01:16:27 Перспективы применения каркасов для prompt engineering в LLM