Світ математики отримав подію, яку вже називають однією з найгучніших за останні роки. Модель штучного інтелекту, створена компанією OpenAI, змогла знайти розв’язок знаменитої задачі Пола Ердеша, над якою науковці безуспішно працювали ще з 1946 року.
Йдеться про так звану «задачу про одиничні відстані» — одну з найвідоміших проблем комбінаторної геометрії. Попри просте формулювання, вона десятиліттями залишалася відкритою та вважалася майже недосяжною навіть для найсильніших математиків світу.
Задача, яка здавалася простою лише на перший погляд
Суть проблеми виглядає доволі просто. Уявіть набір точок на площині. Потрібно розташувати їх так, щоб якомога більше пар точок знаходилися на відстані рівно однієї одиниці одна від одної.
Ще легендарний угорський математик Пол Ердеш припускав, що кількість таких пар зростає лише трохи швидше за лінійну залежність при збільшенні кількості точок. Протягом десятиліть більшість дослідників вважали, що найкращим підходом залишаються класичні квадратні решітки — схеми, де точки розташовуються у вигляді сітки.

Саме це припущення і поставив під сумнів штучний інтелект OpenAI.
ШІ знайшов те, чого не помічали покоління математиків
За даними дослідників, модель змогла побудувати нескінченне сімейство конфігурацій точок, яке створює значно більше пар з одиничною відстанню, ніж традиційні квадратні структури.
Особливий інтерес викликало навіть не саме відкриття, а спосіб, яким ШІ до нього дійшов. Замість класичних геометричних методів система несподівано використала підходи з алгебраїчної теорії чисел — надзвичайно глибокого та складного розділу математики, який зазвичай майже не пов’язують із геометричними задачами.
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
— OpenAI (@OpenAI) May 20, 2026
For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.
An OpenAI model has now disproved that… pic.twitter.com/j2g3Ze0zEG
У доказі фігурують такі концепції, як нескінченні башти класових полів та теорія Голода — Шафаревича. Для більшості людей ці терміни звучать майже фантастично, однак у науковому середовищі це вважається дуже нетривіальним проривом.
Фактично ШІ виявив приховані симетрії у складних числових системах і використав їх для створення значно більшої кількості однакових відстаней між точками.
Математики вже називають це переломним моментом
Після появи результатів незалежні математики провели додаткову перевірку доказу та підготували окрему наукову роботу, яка пояснює його значення для сучасної науки.
Лауреат медалі Філдса Тім Гауерс назвав подію «важливою віхою для математичного ШІ». Інші дослідники звернули увагу на те, що система не просто допомогла людям із обчисленнями, а запропонувала оригінальний напрямок мислення, який раніше практично не розглядався.
Особливо активно зараз обговорюють те, що відкриття може змінити підхід до інших нерозв’язаних задач дискретної геометрії. Деякі науковці припускають, що чимало старих проблем можуть мати приховані зв’язки з теорією чисел, які раніше залишалися непоміченими.
ШІ починає виходити за межі ролі «асистента»
Важливий нюанс полягає в тому, що OpenAI не створювала окрему систему спеціально для цієї задачі. За словами дослідників, доказ був отриманий універсальною reasoning-моделлю загального призначення.
Це означає, що система не мала вузької спеціалізації саме на задачі Ердеша та не використовувала спеціально підготовлені інструменти пошуку розв’язків.
На думку багатьох науковців, саме цей момент може стати ключовим для майбутнього науки. Якщо ШІ здатний будувати довгі та нетривіальні логічні ланцюжки, подібні системи з часом можуть допомагати у фізиці, біології, медицині, інженерії та інших складних галузях.
Дослідники також звертають увагу, що подібні прориви змінюють саму роль штучного інтелекту в науці. Якщо раніше AI переважно сприймався як інструмент для автоматизації або перевірки обчислень, то тепер дедалі частіше йдеться про генерацію нових ідей та неочікуваних міждисциплінарних зв’язків.
Історія із задачею Ердеша демонструє, наскільки швидко еволюціонують сучасні reasoning-моделі. Проблема, яка майже вісім десятиліть вважалася надзвичайно складною для людства, була розв’язана завдяки підходу, який самі математики називають несподіваним.
Джерело: OpenAI
.png)

