Китайские исследователи доказали трехмерную гипотезу французского математика Этьена Жиса, которая оставалась нерешенной с 1995 года. Прорыв был совершен командой под руководством профессора университета Большого залива Сюй Дишэна, сообщают источники, знакомые с ходом работы.
Ключевым инструментом в руках математиков стала научная мультимодальная модель искусственного интеллекта Shusheng S2, разработанная Шанхайской лабораторией искусственного интеллекта. Схема взаимодействия человека и машины оказалась нестандартной: ИИ-модель генерировала различные подходы к решению, а исследователи оценивали их перспективность, отбирали наиболее жизнеспособные идеи и направляли дальнейший поиск. Таким образом, искусственный интеллект выступал не в роли самостоятельного решателя, а в качестве генератора гипотез, тогда как финальное суждение оставалось за математиками.
Попытки доказать гипотезу с помощью Shusheng S2 стартовали летом. Потребовалось несколько месяцев интенсивной работы, прежде чем удалось найти корректное доказательство. Гипотеза Этьена Жиса относится к области комплексных динамических систем и считается сложной задачей, требующей развитых навыков математического рассуждения. Именно поэтому ее решение долгое время оставалось вне досягаемости как для традиционных методов, так и для предыдущих поколений вычислительных систем.
Случай с гипотезой Жиса демонстрирует, как меняется роль ИИ в фундаментальной науке. Речь идет не о замене исследователя, а о появлении инструмента, способного перебирать огромное количество возможных путей рассуждения быстрее, чем это сделал бы человек. Математик при этом сохраняет контроль над процессом, отсеивая тупиковые ветви и выбирая направление, которое в итоге приводит к результату.
Пока неизвестно, будет ли доказательство опубликовано в рецензируемом журнале и как на него отреагирует международное математическое сообщество. Однако сам факт того, что задача, стоявшая на повестке более трех десятилетий, была решена с участием китайской ИИ-модели, привлекает внимание к возможностям Shusheng S2 и к тому, как подобные системы могут применяться в других областях, где требуются сложные логические выводы.
