11 октября в Университете Цинхуа состоялось открытие Альянса лабораторий математики и искусственного интеллекта имени Яу Шинтуна. Организация сфокусируется на разработке специализированных больших моделей, автоматизации математических доказательств и развитии объяснимого ИИ.
Альянс объединил усилия более 1000 математиков и ученых. В состав структуры вошли Колледж Цючжэнь Университета Цинхуа, Центр математических наук имени Яу, Пекинский институт прикладной математики Яньциху, Шанхайский институт математики и междисциплинарных наук и другие профильные центры.
Участники представили более 10 ключевых направлений исследований, включая геометрию, квантовые вычисления и науки о жизни. В частности, ученые работают над решением гипотезы Арнольда о вырождении, вопросами ограниченности минимальных модификаций и 7-мерными гомотопическими сферами.
В рамках исследования 7-мерных гомотопических сфер ИИ применялся для поиска стратегий доказательства и упрощения вычислений. Системы компьютерной алгебры использовались для проверки тождеств и создания сертификатов вычислений, а математики отвечали за концептуализацию и финальное обоснование теорем.
