Китайские ученые создали альянс для внедрения ИИ в математику

Лауреат Филдсовской премии Шин-Тун Яу инициировал создание масштабного научного объединения, нацеленного на интеграцию технологий искусственного интеллекта в фундаментальные математические исследования. В состав альянса вошли восемь ведущих институтов, а общая численность участников проекта превысила 1000 ученых.

Инициатива Шин-Тун Яу направлена на преодоление скептицизма, который наблюдается в западном академическом сообществе. В то время как 25 обладателей Филдсовской премии на Западе выступают с критикой использования ИИ-генераций в доказательствах, опасаясь снижения интеллектуального уровня математиков, китайская сторона делает ставку на ускорение прогресса через автоматизацию.

Программа альянса предполагает разработку специализированных алгоритмов, способных помогать в поиске новых теорем и проверке сложных логических конструкций. Участники проекта намерены использовать вычислительные мощности для решения задач, которые ранее считались недоступными для традиционных методов анализа.

Создание этой структуры знаменует собой смену парадигмы в академической среде, где ИИ начинает рассматриваться не как угроза, а как инструмент для расширения границ математического познания. Ожидается, что объединение ресурсов позволит значительно сократить время, затрачиваемое на рутинные этапы доказательств, и сфокусировать усилия исследователей на концептуальных прорывах.