В Пекине официально запущен «Альянс лабораторий Яу по математике и искусственному интеллекту». Инициатива, возглавляемая лауреатом Филдсовской премии Шин-Туном Яу, объединяет восемь исследовательских институтов и нацелена на создание сети из более чем 1000 ученых. Основные задачи альянса включают разработку специализированных моделей, создание систем машинной верификации доказательств и обеспечение прозрачности логических выводов ИИ. По словам Яу, данные меры необходимы, чтобы преодолеть отставание Китая от США в этой области. Тем временем на Западе отношение к ИИ в математике остается скептическим. Группа из 25 лауреатов Филдсовской премии, включая Теренса Тао и Петера Шольце, выразила обеспокоенность тем, что использование ИИ для генерации доказательств может привести к утрате глубокого математического понимания и зависимости исследователей от инструментов, логику которых они не могут проследить. Часть сообщества призывает к бойкоту ИИ-доказательств, указывая на проблему резкого роста объема автоматизированных публикаций.