Леся СайкоСистема штучного інтелекту від компанії OpenAI розв’язала давню математичну проблему, відому як гіпотеза Пала Ердеша про кількість різних відстаней. Про це повідомляє видання IFLScience із посиланням на матеріали, опубліковані на сайті OpenAI.
Гіпотеза, сформульована приблизно 80 років тому одним із найвідоміших математиків ХХ століття, стосується визначення максимальної кількості пар точок на площині, що перебувають на однаковій відстані одна від одної при заданій довільній кількості точок.
Читайте також: Як жінці освоїти нейромережі, щоб звільнити 10 годин на тиждень
Замість традиційного доведення твердження штучний інтелект згенерував контрприклад, який спростовує вихідну гіпотезу. За словами комбінатора-арифметика з Манчестерського університету Томаса Блума, знайдений розв’язок став нетривіальним узагальненням решіткової конструкції Ердеша. Для формування контрприкладу ШІ застосував інструменти з алгебраїчної теорії чисел.
Рецензентка результату, комбінатористка з Принстонського університету Нога Алон, зазначила, що алгоритм поєднав методи з відокремленої галузі математики, використання яких не було очевидним для дослідників-людей. Вона зауважила, що залучення ШІ суттєво змінює методологію математичних досліджень.
Читайте також: Професії, яких не існувало три роки тому: як AI відкриває нові можливості для жінок
Водночас наукова спільнота висловлює застереження щодо таких методів. Фізик і математик із Техаського університету Томас Чен зауважив, що використання ШІ як «чорного ящика» у строгих математичних обчисленнях ставить під сумнів традиційні принципи математики як галузі людської діяльності.