Китайский математик составил список из 1000 задач, способных бросить вызов ИИ

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

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

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

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

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

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

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

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