Шинтан Яу создал альянс из восьми институтов для ИИ в математике
Фильдсовский лауреат Шинтан Яу запустил альянс из восьми институтов и более 1000 учёных, цель которого, продвигать ИИ в математические исследования. Это происходит на фоне того, что часть западных математиков предупреждает о рисках ИИ-доказательств.
Главное в цифрах
- Участников альянса Шинтана Яу: более 1000 учёных
- Институтов в альянсе: восемь
- Обладателей Филдсовской медали, выступивших с критикой ИИ-доказательств: 25
По данным The Decoder, Шинтан Яу объединил восемь институтов и более тысячи учёных в альянс, который будет продвигать использование искусственного интеллекта в математических исследованиях. Источник описывает это как ответ Китая на настроения в западном математическом сообществе.
В то же время 25 обладателей Филдсовской медали в западных странах выступили с предупреждением против доказательств, сгенерированных ИИ. Отдельные участники сообщества призывают к бойкоту таких инструментов.
Спор о доверии к машинным результатам
Главный вопрос, который поднимает спор, насколько можно доверять результатам, полученным с помощью ИИ, в области, где строгость доказательств является основой. Критики опасаются, что машинно сгенерированные доказательства могут ослабить математическое мышление.
Для индустрии ИИ это сигнал: научное сообщество всё больше вовлекается в обсуждение того, как и где применять эти технологии. Направление может повлиять на то, какие инструменты получат академические заказчики.
