Математик · От вавилонских писцов до медалистов Филдса и доказательства с помощью искусственного интеллекта: профессия, которая превращает сложные вопросы в постоянную уверенность, по одной теореме за раз.
Основным навыком является не расчет (машины взяли его на вооружение несколько десятилетий назад), а построение убедительных аргументов в отношении точно определенных объектов и более сложный мета-навык выбора аргументов, которые стоит попробовать. Работающие математики честно описывают свои дни как застрявшие: Эндрю Уайлс сравнил исследования с месяцами шарошения по темным комнатам, пока не найдешь выключатель, а затем переходом в следующую темную комнату.
Поэтому темперамент, который выбирает работа, необычен: комфорт при постоянных неудачах, поскольку почти каждый подход, опробованный при решении сложной проблемы, умирает; навязчивая точность, поскольку одна ошибочная строка делает недействительной сотню страниц; и достаточно вкуса, чтобы рано отказаться от обреченного направления. Скорость, которую школы вознаграждают за качество, имеет меньшее значение: некоторые из величайших деятелей в этой области называли себя медлительными.
What the work demands
Доказательство конструкции
97
Проблема выбора и вкуса
90
Настойчивость через застревание
88
Письменное изложение
75
Вычисления и программирование
68
Обучение и наставничество
62
Доказательство конструкции
Построение полных, безупречных логических цепочек от определений до выводов — профессиональный продукт, отвечающий стандарту достоверности, который не используется ни в одной другой области.
Проблема выбора и вкуса
Оценка того, какие вопросы являются одновременно важными и решаемыми с помощью существующих инструментов — навык, который больше всего разделяет карьеры и которому, по словам консультантов, труднее всего научить.
Настойчивость через застревание
Возвращение к одной и той же стене на месяцы или годы без прогресса; Уайлс провел семь лет над Ферма, и ежедневные исследования представляют собой неудачные попытки.
Письменное изложение
Превращение частного понимания в документы, которые рецензенты могут проверить, а коллеги могут опираться на них: вся память в этой области является письменным доказательством, а плохо написанные результаты теряются.
Вычисления и программирование
Проведение экспериментов в SageMath, Mathematica или Python для генерации данных и проверки гипотез, а также написание формальных доказательств в Lean — современном лабораторном стенде.
Обучение и наставничество
Большинство научных должностей являются профессорскими: чтение лекций, руководство докторантами и передача профессии по цепочке ученичества — это половина реальной работы.
A day in the life
7–9arXiv и переписка
День начинается с ночных списков arXiv — новых препринтов в вашем регионе, размещенных по всему миру — а также запросов рецензентов и электронной почты соавторов в разных часовых поясах.
9–12Сеанс глубокой работы
Защищенный утренний блок по текущей проблеме: заполнение страниц и досок, расчет примеров, атака на ту же лемму, которая не удалась вчера. Харди считал, что четыре творческих часа в день — предел для математика.
12–14Обед и чаепитие в общей комнате
Обед и чай в департаментах — это работающие институты, а не перерывы: половина сотрудничества начинается с коридорной реплики, и сильные департаменты яростно защищают этот ритуал.
14–16Обучение и контроль
Чтение лекций студентам, затем встречи с докторантами — проверка заявленного доказательства построчно или передача застрявшему студенту уменьшенной версии его проблемы.
16–19Семинар и совместная работа на доске
Исследовательский семинар — час чьей-то новой работы, затем вопросы — за которым следуют занятия мелом с соавторами, на которых фактически создается большинство совместных статей.
19–7Запись, инкубация и отдых
Вечера уходят на написание и редактирование статей. Остальное тоже является настоящей работой: Пуанкаре задокументировал, как решения появляются после прекращения сознательных усилий, а математики намеренно загружают задачу перед сном.
The know-how
Craft knowledge practitioners actually pass on — not motivation.
01
Найдите более простую задачу внутри задачи
В книге Джорджа Пойа «Как решить ее» (1945), популярном руководстве по математической эвристике, систематизирован метод работы в этой области: если вы не можете решить проблему, найдите связанную с ней более простую задачу — частный случай, аналог, задачу с одним отброшенным условием — и решите ее в первую очередь. Математики-исследователи делают это инстинктивно; Полиа сделала инстинкт доступным для обучения, и книга была продана тиражом более миллиона экземпляров.
02
Вычисляйте примеры, пока шаблон не признается
Гаусс открыл содержание теоремы о простых числах, будучи подростком, вручную подсчитывая простые числа в таблицах, тысячи за присест, за десятилетия до того, как кто-либо смог это доказать. Аппарат остается нетронутым: современные исследователи проводят компьютерные эксперименты, чтобы собрать данные, угадать закономерность и только затем попытаться доказать. Главный принцип заключается в том, что хорошая гипотеза, честно полученная на основе примеров, — это половина теоремы.
03
Поднимающееся море
Александр Гротендик описал два способа открыть орех: молотком и долотом или погрузить его в воду на несколько недель, пока он не раскроется сам. Его метод — построение общей теории настолько терпеливо, что трудная проблема в конечном итоге открывается без видимой борьбы — перестроил алгебраическую геометрию и остается осознанной стратегией, лежащей в основе большей части современной математики: расширять структуру вместо того, чтобы форсировать проблему.
04
Загрузите разум, а затем уходите
Анри Пуанкаре описал бесплодную работу над фуксовыми функциями в течение нескольких недель, а затем, когда решение пришло полностью сформированным, он сел в омнибус в Кутансе, не думая ни о чем математическом. Его рецепт — сознательно насыщать, а затем позволить инкубации работать во время отдыха — представляет собой продуманную технику в любой области, поэтому математики защищают прогулки, душ и сон как рабочее время.
05
Четыре хороших часа лучше двенадцати посредственных.
Дж. Х. Харди работал с завтрака до обеда, а после обеда играл в крикет, считая, что четыре часа творческой работы в день — это предел возможностей математика, и выход за него приводит к ошибкам, которые нужно исправить завтра. Глубокая концентрация на доказательствах физиологически дорогостояща; дисциплина защищает часы пик, а не продлевает их.
06
Сначала решите модель игрушки
Широко читаемый карьерный совет Теренса Тао систематизирует современный метод работы: разберите сложную проблему до простейшего нетривиального случая, добавьте все удобные предположения и решите их, а затем удаляйте предположения по одному. Он также советует записывать частичный прогресс и неудачные подходы, поскольку знание того, почему очевидная атака терпит неудачу, само по себе является передаваемым капиталом.
Tools of the trade
Доска и мел
По-прежнему определяющий инструмент в этой области: скорость мела соответствует темпу объясняемой мысли, а стирание предполагает риск. Почитаемый японский мел Хагоромо пережил закрытие своего производителя в 2015 году только потому, что его формулу купила корейская фирма.
Латекс
Универсальная система набора текста для математики, построенная на TeX Дональда Кнута (1978), написанном потому, что Кнут нашел гранки своей книги уродливыми, и макросах Лесли Лэмпорта. В нем написан каждый журнал, препринт и диссертация в этой области.
Помощники по доказательству (Lean, Coq)
Программное обеспечение, которое проверяет каждый логический шаг формализованного доказательства. Библиотека mathlib Лина, созданная открытым сообществом с 2017 года, прошла миллион строк формальной математики и проверила теоремы исследовательского уровня, в том числе теоремы Питера Шольце в 2022 году.
Системы компьютерной алгебры
Mathematica, Maple, MATLAB, Magma и SageMath с открытым исходным кодом проводят символические и численные эксперименты — факторинг, построение графиков, матричные вычисления — которые генерируют примеры и данные, на основе которых возникают предположения.
arXiv
Сервер препринтов, основанный Полом Гинспаргом в Лос-Аламосе в 1991 году, где практически вся новая математика теперь появляется перед публикацией в журнале. Проверка утренних объявлений — общий ежедневный ритуал профессии, и размещение там временных меток является приоритетом.
How people fail at it
Атака на известную проблему без отката
Тратить годы на гипотезу Римана или гипотезу Коллатца без стратегии получения частичных результатов — признанный убийца в начале карьеры; Пол Эрдеш сказал о Коллатце, что математика «еще не созрела» для этого. Уайлс мог поставить семь лет на Ферма только потому, что частичный прогресс в области модульности можно было опубликовать отдельно.
Чудо-ловушка
Карьера, построенная на том, чтобы быть самым быстрым в комнате, часто дает трещину на границе исследований, где каждый был самым быстрым в своей комнате, а проблемы занимают месяцы, а не минуты. Переход от скорости к выносливости сбивает с толку значительную часть докторантов, и консультанты следят за этим больше, чем за любым пробелом в знаниях.
Перфекционизм, который никогда не публикуется
Абсолютный стандарт правильности в этой области побуждает исследователей бесконечно совершенствовать результаты, в то время как приоритет ускользает: ящик стола с 90-процентно законченными статьями - это постоянная шутка, за которой стоит реальное количество жертв. arXiv обострил гонку: неопубликованный результат может быть независимо найден и промаркирован кем-то другим завтра.