Контрприклад
Модель OpenAI спростувала 80-річну математичну гіпотезу. Це важлива віха. Але це чітко показує нам, що штучний інтелект може, а чого не може.
Задача була простою. Розмістіть точки на площині. Скільки пар можуть знаходитися на відстані однієї одиниці одна від одної? Пол Ердеш припустив, що найкращий спосіб зробити це — використати певну сітку. Ця здогадка залишалася непохитною протягом 80 років.
ШІ спростував цю здогадку. Він не винайшов новий спосіб мислення. Він знайшов закономірність, побудувавши решітку у вищих вимірах і спроєктувавши її назад на площину. Він знайшов таке специфічне розташування, з яким не може зрівнятися жодна сітка.
Цей успіх виявляє дві конкретні сильні сторони ШІ:
- Пошук без упереджень: Люди часто припиняють шукати контрприклад, якщо вважають теорію істинною. У ШІ немає таких переконань. Він продовжує пошук навіть тоді, коли люди здаються.
- Надзвичайна витривалість: Люди економлять свою увагу. Ми відмовляємося від стратегій, які потребують занадто багато часу або не дають швидкого результату. Модель здійснює сотні невдалих спроб, не втомлюючись.
ШІ також використав широту охоплення. Він поєднав алгебраїчну теорію чисел із дискретною геометрією. Більшість людей спеціалізуються на одній галузі. Модель одночасно володіє літературою з усіх галузей. Вона встановлює зв'язки, які спеціаліст міг би пропустити.
Однак це не є винаходом. Модель не створила нового математичного інструменту. Вона використала існуючу математику, щоб знайти результат у межах існуючої структури. Вона шукала в визначеному просторі об'єкт, що відповідає відомим правилам.
Справжній математичний винахід — це інше. Це здатність створити новий простір, нові обмеження або нову мову.
Справжнє випробування для ШІ — це не кількість розв'язаних старих задач. Справжнє випробування полягає в тому, чи створить модель визначення або метод, які математики приймуть як власні.
Доки модель не створить нову концептуальну базу, вона залишається потужним інструментом пошуку, а не творцем. Перевага машини полягає в тому, що вона не вірить у те, у що віримо ми, і не втомлюється шукати.
Source: https://dev.to/thesythesis/the-counterexample-hd2
Optional learning community: https://t.me/GyaanSetuAi