ИИ для практикующего математика, часть 4 | Дэниел Туббенхауэр скачать в хорошем качестве

ИИ для практикующего математика, часть 4 | Дэниел Туббенхауэр

🎓 ИИ для практикующего математика | Дэниел Туббенхауэр Что такое повседневный ИИ для математики? Зачем математикам нужны большие языковые модели, генеративные инструменты и «помощники», которые создают столько же иллюзий, сколько и помогают? И какое отношение всё это имеет к реальной повседневной рутине чтения статей, написания заметок, проведения вычислений и шлифовки докладов? В этой короткой серии мы рассмотрим, как ИИ в 2025 году может быть интегрирован в реальные исследовательские процессы. Основное внимание уделяется не футуристическим спекуляциям, а практическим, маломасштабным применениям: сортировке статей arXiv, кодированию быстрых экспериментов, составлению схем доказательств, разработке чертежей в LaTeX/TikZ и построению легко воспроизводимых конвейеров. ИИ не докажет за вас замысловатых теорем, но может стать удивительно полезным (а иногда и опасно ошибочным!) помощником. 💡 Ключевые слова: рабочий процесс математического исследования, кодирование, руководство по доказательству, Sage/Python, LaTeX/TikZ, воспроизводимость, LLM на практике 💬 Комментарии приветствуются! Исправления, оговорки и истории из ваших экспериментов приветствуются. Содержание серии будет примерно следующим: • Что такое доказательство с помощью ИИ? (краткие обзоры, контрпримеры и неудачи) • Что такое кодирование с помощью ИИ? (преобразование определений в небольшие наборы данных) • Что такое чтение с помощью ИИ? (сортировка статей и определений) • Что такое письмо с помощью ИИ? (рефераты, BibTeX, полировка TikZ) • Что такое воспроизводимость с помощью ИИ? (шаблоны, блокноты, гигиена проекта) Обо мне. Привет, я Дэниел Таббенхауэр (но можете называть меня Дэни, они/их). Я математик, работающий на стыке алгебры, топологии и теории категорий. Моя работа часто связана с диаграмматическими и категориальными подходами к теории представлений, квантовым инвариантам и низкоразмерной топологии. Я увлечен визуальными и концептуальными способами понимания абстрактной математики и с удовольствием делюсь этим опытом посредством неформальных бесед, конспектов лекций и подобных видео. 🌐 Сайт: http://www.dtubbenhauer.com 📁 TeX и слайды: https://github.com/dtubbenhauer/My-Te... 🧵 #MathAI #MathResearch #PureMath