В эпоху, когда искусственный интеллект всё чаще находит ответы на сложные математические задачи, китайский математик Сунь Чживэй считает, что любопытство и умение задавать хорошие вопросы важны как никогда.

За годы работы на переднем крае теории чисел 61-летний профессор математического факультета Нанкинского университета Сунь сформулировал для мирового математического сообщества уже более тысячи задач.

Хотя традиционное математическое образование делает акцент на освоении существующих формул и доказательстве известных теорем, Сунь считает, что настоящий прогресс зависит от способности с помощью интуиции находить новые вопросы, а затем решать их с помощью логики. «Если в какой‑то дисциплине нет гипотез, люди перестают понимать, чем им заниматься, и эта область приближается к застою», — сказал Сунь изданию China Science Daily. «Искусственный интеллект не сможет решить все математические задачи. Математикам не нужно паниковать. Напротив, они смогут освободить время для вещей, с которыми ИИ справляется хуже, например разработки новых методов и создания новых теорий».

«Я отношусь к ИИ как к очень эрудированному, трудолюбивому и умному аспиранту. Когда я поручаю ему трудную математическую задачу, то направляю его и при необходимости предлагаю изменить стратегию», — рассказал он, добавив, что отключает ИИ доступ к поиску в интернете, чтобы тот не обнаружил, что задача до сих пор не решена, и не отказался ею заниматься.

По словам Суня, в начале карьеры он был традиционным «решателем задач» и добился важных результатов в исследовании десятой проблемы Гильберта, сформулированной в 1900 году. Переломным моментом стала работа приглашённым профессором в Калифорнийском университете в Ирвайне в 2005 году. Там Сунь познакомился с американским профессором, который умело использовал математические программы для поиска закономерностей, что тогда было для Суня новым подходом.

В 2009 году он стартовал самостоятельно осваивать систему технических вычислений Mathematica. Компьютеры позволили ему проверять тысячи частных случаев, что раньше требовало мучительных ручных расчётов, а зачастую было просто невозможно.

В этом году Сунь составил сборник объёмом более 400 страниц, в который вошли 1000 предложенных им нерешённых гипотез (пока сборника нет в открытом доступе — а есть, например, работа Open Conjectures on Congruences, где собраны 100 его открытых гипотез). На его академической странице равным образом обнародован список гипотез, за доказательство которых назначены денежные премии из его собственной зарплаты. По мнению Суня, по мере того как ИИ меняет научные исследования, его роль в развитии математики и поиске истины следует приветствовать.

«Если вы занимаетесь математикой исключительно ради славы и денег, вы можете бояться, что ИИ отнимет у вас работу. Но если ваша цель — поиск истины, вы должны приветствовать то, как искусственный интеллект способствует развитию математики», — говорит он.