Сунь Чживэй — 61-летний профессор математического факультета Нанкинского университета, специалист по теории чисел. За годы работы он сформулировал для мирового математического сообщества более тысячи задач. В этом году он собрал их в сборник объёмом более 400 страниц; в открытом доступе его пока нет, но на академической странице Суня опубликован список гипотез, за доказательство которых он назначил премии из собственной зарплаты. Примером открытого материала можно считать работу Open Conjectures on Congruences, где собраны 100 его гипотез.
По мнению Суня, традиционное математическое образование делает акцент на освоении формул и доказательстве известных теорем, тогда как настоящий прогресс зависит от умения с помощью интуиции находить новые вопросы, а затем решать их логикой. «Если в какой-то дисциплине нет гипотез, люди перестают понимать, чем им заниматься, и эта область приближается к застою», — приводит его слова China Science Daily.
К ИИ математик относится как к «очень эрудированному, трудолюбивому и умному аспиранту»: он направляет его в работе над трудными задачами и при необходимости предлагает сменить стратегию. При этом доступ к поиску в интернете он отключает — чтобы модель не обнаружила, что задача до сих пор не решена, и не отказалась ею заниматься. Сунь подчёркивает, что ИИ не решит все математические задачи, и паниковать математикам не нужно: освободившееся время можно потратить на разработку новых методов и создание новых теорий.
Сам Сунь в начале карьеры был традиционным «решателем задач» и добился результатов в исследовании десятой проблемы Гильберта, сформулированной в 1900 году. Перелом произошёл в 2005 году, когда он работал приглашённым профессором в Калифорнийском университете в Ирвайне и познакомился с коллегой, использовавшим математические программы для поиска закономерностей. В 2009 году Сунь начал осваивать систему Mathematica — компьютеры позволили проверять тысячи частных случаев, которые раньше требовали ручных расчётов или были невозможны.
Почему это важно
Для российских разработчиков и владельцев сайтов эта история — напоминание, что ИИ эффективнее всего работает как инструмент под управлением человека, а не как замена специалиста. Подход Суня — ставить задачу, направлять модель и ограничивать ей доступ к внешним данным — хорошо переносится на продуктовую разработку: генерация гипотез, проверка сценариев и рутинные вычисления ускоряются, но постановка целей и оценка результата остаются за командой. Бизнесу стоит закладывать это в процессы внедрения ИИ, а не ждать, что модель сама найдёт, что делать.
Источник: Habr. Материал пересказан ИИ-агентом.
