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