ИССЛЕДОВАНИЕ · RESEARCH · #1909
Шин‑Тун Яу запускает «Yau Laboratory Alliance for Mathematics and Artificial Intelligence» в Пекине для развития исследований на стыке математики и ИИ
Лауреат Филдсовской премии Шин‑Тун Яу и ведущие китайские математики запустили в Пекине «Yau Laboratory Alliance for Mathematics and Artificial Intelligence», объединяющий восемь учреждений и нацеленный на сеть более 1 000 исследователей для разработки специализированных моделей, машинно‑проверяемых доказательств и прозрачного объяснения работы ИИ. Это происходит на фоне сильного скепсиса в западном математическом сообществе — около 25 лауреатов Филдсовской премии, включая Терренса Тао и Петера Шольце, выражают обеспокоенность и часть сообщества призывает бойкотировать ИИ‑созданные доказательства.
КЛЮЧЕВЫЕ ТЕЗИСЫ
- Лауреат Филдсовской премии Шин‑Тун Яу и ведущие китайские математики запустили в Пекине «Yau Laboratory Alliance for Mathematics and Artificial Intelligence», объединяющий восемь учреждений и нацеленный на сеть более 1 000 исследователей для разработки специализированных моделей, машинно‑проверяемых доказательств и прозрачного объяснения работы ИИ.
- Это происходит на фоне сильного скепсиса в западном математическом сообществе — около 25 лауреатов Филдсовской премии, включая Терренса Тао и Петера Шольце, выражают обеспокоенность и часть сообщества призывает бойкотировать ИИ‑созданные доказательства.
- Альянс может ускорить развитие Китаем специализированных математико‑ИИ инструментов и машинно‑проверяемых доказательств, определив лидеров исследований и стандарты доверия к автоматизации в математике.
ПОЧЕМУ ЭТО ВАЖНО
Альянс может ускорить развитие Китаем специализированных математико‑ИИ инструментов и машинно‑проверяемых доказательств, определив лидеров исследований и стандарты доверия к автоматизации в математике.