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

На Западе нарастает тревога по поводу использования ИИ в математике: 25 обладателей Филдсовской медали выступили с предупреждением о рисках автоматического доказательства теорем. Часть математического сообщества даже призывает к бойкоту таких методов, опасаясь, что ИИ «отупляет» исследователей и подрывает фундаментальные навыки.

Параллельно Китай делает противоположный ход. Известный математик Шин-Тун Яу (сам филдсовский медалист) объявил о создании альянса, в который вошли восемь научных учреждений и более 1000 учёных. Цель — форсировать внедрение искусственного интеллекта в математические исследования, не дожидаясь консенсуса на Западе.