Западные математики боятся ИИ, Китай строит альянс

В воскресенье в Пекине лауреат Филдсовской премии Шинг-Тунг Яу и группа ведущих китайских математиков объявили о создании альянса для продвижения искусственного интеллекта в математические исследования. «Лабораторный альянс Яу по математике и искусственному интеллекту» объединяет восемь институтов и нацелен на создание сети из более чем 1000 исследователей, сообщает South China Morning Post. Яу предупредил, что Китай отстает от США в этой области.

На Западе преобладает скептицизм. Двадцать пять лауреатов Филдсовской премии, включая Теренса Тао и Питера Шольце, обеспокоены тем, что доказательства, сгенерированные ИИ, подрывают математическое понимание и делают исследователей зависимыми от инструментов, которые они не могут проверить. Часть сообщества призывает к бойкоту автоматически сгенерированных доказательств, другие шокированы объемом автоматических заявок.

Китай, напротив, намерен разрабатывать специализированные модели, создавать машинно-проверяемые доказательства и прозрачные рассуждения ИИ. Альянс Яу ставит целью интеграцию ИИ в математические исследования для ускорения открытий и повышения конкурентоспособности Китая.

Даже среди экспертов, использующих ИИ, нет единого мнения, дает ли он подлинное математическое понимание или просто перебирает известные методы, и имеет ли это различие значение. Западные математики опасаются, что чрезмерная опора на ИИ снижает их собственные навыки и глубину понимания.

Инициатива Китая контрастирует с осторожным подходом Запада. Пока западные ученые спорят о рисках и призывают к ограничениям, Китай активно инвестирует в создание инфраструктуры и сообщества для применения ИИ в математике. Это может привести к технологическому разрыву и изменению глобального баланса в фундаментальной науке.