ИИ для практикующего математика, часть 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