Китайские математики во главе с Яу объединяют восемь учреждений в альянс по ИИ в математике — цель более 1 000 исследователей
Материал подготовлен Sintelligent с помощью ИИ. Опубликовано в SI: . Обновлено: .
Китайские математики строят большую сеть, чтобы ИИ помогал доказывать теоремы, а на Западе тем временем спорят, не мешает ли он пониманию.
Лабораторный альянс Яу по математике и ИИ (Yau Laboratory Alliance for Mathematics and Artificial Intelligence) объединяет восемь учреждений; цель — внедрять ИИ в математические исследования, создавать специализированные модели, машинно проверяемые доказательства и прозрачные рассуждения ИИ. Руководит лауреат Филдсовской премии Шинтун Яу. По данным The Decoder, 25 лауреатов Филдсовской премии, включая Терренса Тао и Петера Шольце, высказывали опасение, что доказательства, созданные ИИ, подрывают понимание математики и делают исследователей зависимыми от инструментов, которые они не могут проследить.
Источники 1