Дослідники АІ кинули виклик на $1 млн тому, хто зможе розв’язати шахову головоломку

Маєте здібності до розв’язання обчислювальних задач? Хочете отримати за свої зусилля крутий $1 мільйон? Тоді Університет Сент-Ендрюса і Інститут математики Клея точно підготували для вас змагання. Оголошена в четвер премія (присуджується Інститутом математики Клея) доступна кожному, хто зможе розв’язати шахову головоломку, на яку, за оцінками дослідників, можуть знадобитися тисячі років, щоб знайти швидку відповідь. У разі її розв’язання програма, яка розгадає математику так званої “головоломки Королеви”, допоможе розв’язати низку наразі неможливих проблем, в тому числі подолати будь-які заходи безпеки в Інтернеті.

Вперше розроблена в 1850 році, “Головоломка ферзів” спочатку вимагала від шахістів розмістити вісім ферзів на стандартній шаховій дошці таким чином, щоб жодні два ферзі не могли бити один одного. Хоча з тих пір проблема була вирішена людиною, коли шахова дошка збільшується до досить великих розмірів (уявіть собі дошку розміром 1000 на 1000 квадратів і вище), дослідники з Університету Сент-Ендрюса стверджують, що комп’ютерній програмі знадобилося б приблизно тисячоліття, щоб вирішити її. Якщо не вдасться довести протилежне.

“1 січня 2015 року мій друг на Facebook опублікував посилання на онлайн-дискусію про цю проблему і сказав, що у нього є передчуття, що мене це зацікавить, – розповів Digital Trends професор Ян Гент, один з дослідників, який кинув рукавичку, – і він виявився правий, коли сказав, що мене це зацікавить. “Він мав рацію, і тому я провів багато часу зі своїми колегами, працюючи над цим”.

Джент і його колеги зуміли розібратися з математикою, щоб показати, наскільки складною є проблема – звідки і походить оцінка в 1000 років. Проте справді складно зробити наступний крок. “Ви можете [виграти 1 мільйон доларів] або довівши, що жоден алгоритм не може розв’язати головоломку n-королеви за розумний час, або знайшовши алгоритм, який розв’язує її швидко”, – продовжив він.

За словами Гента, ефективне розв’язання цієї задачі є, “мабуть, найскладнішим завданням у комп’ютерних науках”. Причина в тому, що нинішні методи її вирішення, по суті, використовують тупий метод спроб і помилок, який працює шляхом перебору всіх можливих варіантів. З іншого боку, алгоритм, який міг би вирішити проблему швидко, міг би суттєво змінити ситуацію.

Навіть якщо ви не вважаєте, що ви підходите для цієї роботи, ви можете ознайомитися з науковою статтею, що описує проблему Гента і його колег, опублікованою в Журналі досліджень штучного інтелекту (Journal of Artificial Intelligence Research).

Тим часом, Гент дає три поради для тих, хто сподівається отримати головний приз: Отримайте ступінь доктора філософії в галузі обчислювальної складності, будьте геніальними і будьте дуже, дуже везучими.

Рекомендації редакції

• ШІ Dall-E, що генерує зображення, тепер доступний для гри всім охочим
• Особисті дані 69 мільйонів користувачів Neopets виставлені на продаж після витоку інформації
• Хакер викрав записи 1 мільярда людей в результаті безпрецедентного витоку даних
• Нові модульні аксесуари Microsoft роблять комп’ютери доступними для всіх
• Злом Cash App вплинув на мільйони американських клієнтів

Source: digitaltrends.com