ШІ розв’язує геометричну головоломку віком 80 років. Що про це думають математики?

Через вісім десятиліть після того, як у 1946 році Пол Ердős поставив задачу про одиничну відстань, універсальний ШІ отримав конфігурації, які перевершили довгоочікувані межі, довівши щонайменше n^(1+δ) пар одиничної відстані для деякого δ>0. Математики з Принстона підтвердили результат, а такі фігури, як Тім Ґауерс і Арул Шанкар, назвали це суттєвим прогресом.

• Ключові висновки:
• OpenAI розв’язав головоломку Пола Ердősа 1946 року, створивши конструкції з n^(1+δ) пар одиничної відстані.
• Принстон підтвердив результат, давши ШІ підсилення довіри в математиці на 2026 рік.
• Тім Ґауерс каже, що прогрес може вплинути на криптографію та доведення поза межами геометрії.

80-річна геометрична загадка нарешті зрушила з місця, коли система OpenAI склала малоймовірну конструкцію, яка перевершила довготривалі очікування. Задача про одиничну відстань, поставлена Полом Ердősом у 1946 році, питає, скільки пар точок рівно на одну одиницю відстані можуть існувати серед n точок на площині; ШІ знайшов конфігурації, що зростають швидше, ніж дозволяла класична програма. Математики з Принстона перевірили роботу, і на неї звернули увагу “важковаговики”, зокрема Тім Ґауерс і Арул Шанкар. Окрім амбіційних заяв, результат натякає на новий тип співпраці в математиці — такого, де використовується загальний вивід, щоб виходити за межі людських евристик.

ШІ розкрив 80-річну математичну загадку проривним розв’язанням

Деякі задачі постійно “підштовхують” межі людської терплячості. Задача про одиничну відстань, поставлена у 1946 році Полом Ердősом, сформулювала зухвало чітке питання: маючи n точок на пласкій площині, скільки пар можуть бути рівно на 1 одиницю одна від одної. Покоління атакували її ґратами, симетрією та завзяттям. Прогрес приходив крихтами, ніколи — стрибками. А потім, тихо, у гру втрутився ШІ.

Десятиліттями стара проблема — нарешті розв’язана

Класичний підхід розміщував точки в квадратних ґратах, змінюючи масштаб, щоб “витиснути” більше пар на відстані 1. Цей метод підказав зростання трохи вище за лінійне — приблизно n, помножене на множник, який ледь випереджає n у міру того, як n стає великим. У полі сформувалося уявлення, що найкраща нижня межа тримається десь біля n^(1+o(1)) — на “сходинку” вище за n, але не на крок уперед.

Як ШІ перевершив припущення

За словами дослідників, задіяний у роботі внутрішній модельний підхід від OpenAI запропонував нову родину конфігурацій точок, яка перетинає поріг, який довго вважали недосяжним. Система згенерувала конструкції щонайменше з n^(1+δ) парами одиничної відстані — для фіксованого δ, більшого за 0, який не зникає в міру зростання n. Це справжнє поліноміальне покращення, а не “похибка округлення”.

Підхід поєднував геометричну інтуїцію з передовою алгебраїчною теорією чисел — несподіваний набір інструментів для задачі просторового підрахунку. Він не походив від рушія, спеціалізованого саме на математиці. Натомість це виникло в межах моделі загального виводу, яка проходила оцінювання, що натякає на ширші можливості міркування: орієнтуватися в різних доменах, коли простір пошуку величезний.

Підтверджено експертами, відзначено спільнотою

Незалежні математики з Університету Принстона переглянули конструкції ШІ та підтвердили результат — так, як це повідомили люди, знайомі з перевіркою. Високоповажні голоси, зокрема сер Тім Ґауерс і Арул Шанкар, похвалили прогрес як важливий крок для сфери. Це той випадок, коли нова нижня межа, яка довго “застигла” на місці, нарешті зрушила — бо ШІ знайшов правильну “лінзу”.

Наслідки для математики та не лише

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