Система штучного інтелекту OpenAI вперше самостійно здобула результат, який математики вже називають «проривом» у комбінаторній геометрії. Модель змогла поліпшити найкраще відоме розв’язання знаменитої задачі про одиничні відстані на площині, сформульованої Полом Ерьошем ще 1946 року.
Що таке планарна задача про одиничні відстані
Йдеться про на перший погляд елементарну геометричну постановку: маємо точки на площині й цікавимося, скільки пар точок можуть бути розташовані на відстані рівно 1. Задача належить до комбінаторної геометрії й вважається однією з найвідоміших у цій галузі.
Протягом майже 80 років математична спільнота була переконана, що найкращі конструкції для цієї задачі «виглядають» приблизно як квадратні ґратки: регулярні сітки точок, де відстані між сусідніми точками легко контролювати. Вважалося, що ці конструкції практично оптимальні — тобто істотно кращого варіанту не існує.
Парадокс задачі в тому, що її формулювання надзвичайно просте, але відомі підходи до розв’язання спираються на глибокі інструменти алгебраїчної теорії чисел. Це поєднання «дитячої» геометрії з високорівневою абстракцією й зробило задачу Ерьоша культовою в комбінаторній геометрії.
Що саме вдалося зробити моделі
Нова модель загального призначення, яку не налаштовували спеціально під цю задачу чи математику загалом, змогла:
- знайти цілком нове сімейство конструкцій точок на площині;
- показати, що ці конструкції істотно кращі за класичні квадратні ґратки;
- тим самим спростувати усталене переконання про оптимальність попередніх рішень.
Ключовий момент — не просто числове покращення, а поява нового підходу, який люди вважали надто «делікатним» для ручного опрацювання. На шляху до доведення потрібно ухвалити велику кількість дрібних, але критичних рішень. Для людини це означає вибух комбінаторної складності: надто багато варіантів, надто багато розгалужень у доведенні.
Модель змогла систематично дослідити цей простір можливостей, послідовно перевіряючи різні гілки міркувань, і врешті-решт «прокласти стежку» до коректного розв’язання. Результат не зводиться до випадкового вгадування: це саме побудова довгого, логічно зв’язаного ланцюжка міркувань.
Чому це вважають історичним моментом
Математики, які працювали з результатом моделі, описують його як:
- «перше математичне відкриття, здійснене ШІ»;
- «найвідомішу задачу в комбінаторній геометрії», для якої вперше отримано такий проривний прогрес;
- «важливий момент в історії математики», до якого, на їхню думку, ще довго повертатимуться.
Важлива деталь: ідеться не про спеціалізований «машинний теоремодоказувач», а про загальну модель міркування, яку можна застосовувати до різних завдань. Це означає, що здатність утримувати довгі ланцюжки логіки, поєднувати ідеї з віддалених розділів математики й систематично досліджувати простір гіпотез стає загальною властивістю сучасних ШІ-систем.
Для багатьох дослідників це скоригувало часові очікування: подібних результатів від ШІ чекали, але значно пізніше. Тепер стає зрозуміло, що «майбутнє, у якому ШІ робить наукові прориви», фактично вже настало.
Що це означає для науки й ролі людини
Учасники проєкту розглядають цей результат як провісник ширших змін:
- ті самі здібності — тривале міркування, пошук нетривіальних шляхів, комбінування ідей — потенційно можуть прискорити роботу в біології, фізиці, інженерії, медицині;
- ШІ може шукати, пропонувати й перевіряти гіпотези, які людям важко систематично перебрати;
- водночас людська експертиза стає ще ціннішою: саме люди обирають важливі задачі, інтерпретують результати й вирішують, які питання ставити далі.
Цей баланс уже проявився в історії з задачею Ерьоша. Модель згенерувала розв’язання, але для його розуміння, перевірки й контекстуалізації знадобилася робота професійних математиків. Їхня реакція — від недовіри до захоплення — показує, що ШІ стає не просто інструментом обчислень, а повноцінним партнером у дослідницькому процесі.
Якщо нинішній результат справді стане початком «золотої доби математики», про яку говорять дослідники, то планарна задача про одиничні відстані може увійти в історію не лише як класична проблема Ерьоша, а й як перший великий рубіж, подоланий штучним інтелектом у фундаментальній науці.