На вычисления системе потребовалось около 88 часов.
Если полученный результат пройдет проверку и будет признан корректным, это станет лишь вторым решением из семи знаменитых математических проблем, сформулированных в рамках списка «задач тысячелетия».
До сих пор единственной решенной задачей из этого перечня оставалась гипотеза Пуанкаре. Ее доказательство представил российский математик Григорий Перельман.
Однако возможный успех искусственного интеллекта поднимает не только научный, но и принципиальный вопрос об авторстве подобных открытий.
Если ИИ действительно способен самостоятельно находить решения фундаментальных математических проблем, возникает необходимость определить, кому принадлежит такой результат и где проходит граница между вычислительным инструментом и системой, способной самостоятельно создавать новое знание.
