Западные математики опасаются, что ИИ делает их глупее, пока Китай создает целый альянс для него

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

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

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

Новости об ИИ без шумихи — отобраны людьми

Подпишитесь на THE DECODER, чтобы читать материалы без рекламы, получать еженедельную рассылку об ИИ, наш эксклюзивный обзор передовых разработок «AI Radar» шесть раз в год, полный доступ к архиву и доступ к разделу комментариев.