В воскресенье в Пекине группа во главе с лауреатом Филдсовской премии Шинтунгом Яу объявила о создании «Альянса лаборатории Яу по математике и искусственному интеллекту». В него вошли восемь китайских исследовательских институтов. Альянс планирует расширить сеть до более чем 1 000 математиков, которые будут разрабатывать инструменты ИИ для математики. Об этом сообщила South China Morning Post.
Почему западные математики встревожены
В Европе и США всё больше ведущих математиков выступают против доказательств, созданных ИИ. Двадцать пять лауреатов Филдсовской премии, в том числе Теренс Тао и Петер Шольце, считают, что из-за опоры на ИИ исследователям может стать сложнее проследить ход рассуждений в доказательстве. Некоторые призывают бойкотировать результаты, полученные с помощью ИИ, а других тревожит огромное количество статей, где ИИ-инструмент теперь указан в соавторах.
Стратегия Китая в применении ИИ к математике
Китайский альянс сосредоточится на создании специализированных моделей ИИ, способных строить доказательства, которые можно проверить машинным способом. Участники также хотят, чтобы системы объясняли ход рассуждений так, чтобы его могли проверить другие исследователи. Яу предупредил: без согласованных усилий Китай может отстать от США в области математических исследований.
Почему это важно
Если китайский альянс добьётся успеха, инструменты ИИ могут стать привычной частью математических исследований: это потенциально ускорит открытия, но изменит и способы проверки доказательств. Студентам и специалистам, возможно, придётся осваивать новое программное обеспечение, чтобы понимать результаты, полученные с помощью ИИ, а дискуссия на Западе указывает на возможное расхождение в том, как будет развиваться эта дисциплина.
