Китай запустил альянс Яу по ИИ в математике, на Западе, скепсис
В воскресенье в Пекине лауреат Филдсовской премии Шинтун Яу (Shing-Tung Yau) вместе с группой ведущих китайских математиков запустил альянс, цель которого, внедрить ИИ в математические исследования. Как пишет The Decoder со ссылкой на South China Morning Post, «Лабораторный альянс Яу по математике и искусственному интеллекту» (Yau Laboratory Alliance for Mathematics and Artificial Intelligence) объединяет восемь институтов и намерен создать сеть из более чем 1000 исследователей. Яу предупредил, что Китай отстаёт от США.
На Западе, по словам автора материала, преобладает скепсис. Двадцать пять лауреатов Филдсовской премии, среди которых Теренс Тао (Terence Tao) и Петер Шольце (Peter Scholze), опасаются, что доказательства, созданные ИИ, подрывают математическое понимание и делают исследователей зависимыми от инструментов, ход работы которых они не могут проследить. Часть сообщества призывает бойкотировать доказательства, созданные ИИ, а другие говорят, что поражены огромным потоком автоматических работ.
Китай, напротив, хочет строить специализированные модели, развивать машинно проверяемые доказательства и создавать прозрачные рассуждения ИИ. При этом даже среди экспертов, которые пользуются ИИ, нет согласия в том, рождает ли он подлинное математическое понимание или просто перебором прогоняет известные методы, и важно ли вообще это различие.
Ключевые факты
- Шинтун Яу и ведущие китайские математики запустили в Пекине «Лабораторный альянс Яу по математике и искусственному интеллекту», в воскресенье, точная дата в источнике не указана.
- Альянс объединяет восемь институтов и стремится построить сеть из более чем 1000 исследователей; это цель, а не нынешний размер.
- Яу предупредил, что Китай отстаёт от США.
- Двадцать пять лауреатов Филдсовской премии, включая Теренса Тао и Петера Шольце, опасаются, что доказательства от ИИ подрывают понимание математики и создают зависимость от непонятных инструментов.
- Китай делает ставку на специализированные модели, машинно проверяемые доказательства и прозрачные рассуждения ИИ; единого мнения о том, даёт ли ИИ подлинное математическое понимание, нет.
Почему это важно
Материал показывает два разных подхода к ИИ в математике. В Китае ИИ превращают в институциональный проект: альянс из восьми институтов с целью сети более чем в 1000 исследователей. На Западе, по описанию The Decoder, преобладает скепсис: двадцать пять лауреатов Филдсовской премии опасаются, что доказательства от ИИ подрывают понимание и делают математиков зависимыми от инструментов, которые они не могут проследить. Нового технического результата в материале нет, это сопоставление позиций.
Кому это важно
Прежде всего математикам и всем, кто следит за тем, как ИИ меняет научные исследования и принятые в науке способы проверки. Также будет интересно тем, кого занимает китайско-американское соперничество в ИИ: сам Яу, по пересказу источника, предупредил, что Китай отстаёт от США.
Как это применить
Прямого практического применения в материале нет: это новость о запуске объединения и о спорах в сообществе. Единственное, что описано как планы Китая, построить специализированные модели, развивать машинно проверяемые доказательства и создавать прозрачные рассуждения ИИ. Сроков, бюджета и конкретных инструментов источник не называет.
Можно ли доверять
Это краткий пересказ издания The Decoder, которое, в свою очередь, ссылается на South China Morning Post. Сведения об альянсе, информация SCMP; оригинала SCMP в тексте нет. Слова Яу о том, что Китай отстаёт от США, переданы не прямой цитатой, а пересказом. Названия восьми институтов, дата запуска (указано лишь «воскресенье») и сроки достижения цели в 1000 исследователей не приведены. Формулировка в заголовке о «страхе стать глупее», оценка издания: в тексте говорится о подрыве математического понимания и зависимости от непонятных инструментов.
Риски и подводные камни
Не стоит воспринимать противопоставление «Запад против Китая» как полную картину: в источнике говорится о части сообщества, требующей бойкота доказательств от ИИ, но кто именно её составляет, не уточняется. Не уточняется и то, где и когда двадцать пять лауреатов выразили свою тревогу. Кроме того, даже среди тех, кто использует ИИ, нет согласия, даёт ли он настоящее математическое понимание или перебирает известные методы, и важно ли это различие.