Група изследователи обявиха, че са опровергали дългогодишен нерешен проблем, първоначално поставен от една от най-известните фигури в съвременната математика. Според тях, след 80 години, хипотезата на Пол Ердеш за броя на различните разстояния най-накрая е решена, съобщава IFLScience. Учените твърдят, че изкуственият интелект е решил този проблем. Резултатите са публикувани на уебсайта на OpenAI.
„Това е най-впечатляващият единичен резултат. Но виждате, че почти на всеки няколко дни има ново доказателство, създадено от изкуствен интелект. Това наистина променя облика на математическите изследвания“, каза Нога Алон, комбинаторик от Принстънския университет, който прегледа доказателството в съпътстваща статия за OpenAI.
В разговор с репортери, Томас Чен, физик и математик от Тексаския университет, изрази загриженост, че въвеждането на „черна кутия“ в работния процес на строга математика подкопава самите основи на математиката като област на човешкото дело.
Изданието припомни, че същността на хипотезата на Ердьош за броя на различните разстояния е следната: при произволен брой точки в равнината, какъв е максималният брой двойки точки, разположени на еднакво разстояние? Учените обаче не са успели да го докажат в продължение на 80 години.
Оказва се, че е имало много убедителна причина, поради която никой не е могъл да докаже тази хипотеза. Когато OpenAI е била натоварена със задачата да реши този проблем, компанията вместо това е представила нещо, което никой не е очаквал: контрапример.
Изданието подчертава, че намирането на контрапример не е било чак толкова трудно – както пише Томас Блум, комбинаторен аритметик от Университета в Манчестър, в раздела си от придружаващата статия, в който се преглежда резултатът, това е „естествено, макар и силно нетривиално, обобщение на оригиналната решетъчна конструкция на Ердьош“.
Защо е бил необходим изкуствен интелект за решението
В публикацията се обяснява, че за да може човек да измисли този контрапример, е необходимо едновременно да се случат няколко необичайни събития: той не само да е запознат с проблема, но и да е запален по него. Също така би трябвало да познава теорията на класовете на полетата – доста несвързана област от математиката, освен ако не погледнете целия проблем от различна гледна точка.
„Изкуственият интелект използва доста сложни инструменти от алгебричната теория на числата. Може би, в ретроспекция, не е съвсем изненадващо, че има връзка между двете, но това не е първото нещо, което идва на ум“, обясни Алон.
Освен това учените добавиха, че намирането на контрапример би изисквало от човек да бъде изключително упорит, дори когато повечето хора отдавна биха се отказали. Изкуственият интелект обаче няма този проблем.
Учените подчертаха, че изкуственият интелект няма его и не се нуждае от почивка. Изследователите отбелязаха, че това значително помага за бързото извличане на информация.
Превод и редакция: БЛИЦ
