Математик из Китая разработал 1000 задач для ИИ
Профессор Нанкинского университета предложил научному сообществу проверить возможности искусственного интеллекта через сложные математические гипотезы
Китайский математик Сунь Чживэй, профессор Нанкинского университета, создал уникальный набор задач, состоящий из более чем 1000 нерешенных гипотез. Цель проекта — оценить способности искусственного интеллекта в области математического анализа и доказательства сложных теорем. Подобные задачи ранее не решались и остаются загадкой для ученых.
Сборник задач представляет собой серьезный вызов для алгоритмов, разработанных для решения сложных математических проблем. Многие из предложенных гипотез требуют нестандартного подхода и глубокого понимания теории. Это может стать важным шагом в развитии ИИ, способного самостоятельно работать над научными проблемами.
Профессор Сунь Чживэй надеется, что такое исследование поможет повысить уровень автоматизации в науке и ускорить поиск решений в сложных областях. Его инициатива также может вдохновить молодых ученых и программистов на создание более продвинутых систем анализа данных. Результаты проекта станут предметом внимания как в академических кругах, так и в технологическом сообществе.
