Что такое... автоформализация? | Дэниел Таббенхауэр

🎓 Что такое современная математика... часть 1? | Даниэль Туббенхауэр Откуда берутся современные математические идеи и что изменилось в последнее время? Эта серия рассказывает истории современных направлений исследований: их исторические корни, разработки, которые привели к их появлению, и общую картину, которая делает их достойными понимания. Каждое видео следует за короткой историей. Мы знакомимся с основной проблемой, идеями, лежащими в основе ранних подходов, и избранными современными разработками. Конкретные примеры объясняют, что изменилось и почему это важно. Цель – история и современное развитие с учетом общей картины, без углубления в технические детали. Содержание будет примерно вращаться вокруг следующих тем: Автоформализация и математические открытия с помощью ИИ Конденсированная математика, перфектоидные пространства и призматическая когомология Категории бесконечности и производная алгебраическая геометрия Геометрические Лэнгленды Хорошие квантовые LDPC-коды и неинвертируемая симметрия 💡 Ключевые слова: современная математика, история математики, автоформализация, математический ИИ, формальное доказательство, геометрия, топология, симметрия 💬 Комментарии приветствуются! Исправления и предложения очень приветствуются; лучше всего писать по электронной почте. Обо мне. Привет, меня зовут Даниэль Туббенхауэр (но можете называть меня Дани, они/их). Я математик, работающий в области алгебры, топологии и теории представлений, с особым интересом к концептуальным объяснениям и конкретным вычислениям. 🌐 Веб-сайт: https://www.dtubbenhauer.com 📁 TeX и слайды: https://github.com/dtubbenhauer/My-Te... #математика #современнаяматематика