EVERYTHING
Проблема полягала у визначенні, скільки пар точок можна розмістити на аркуші паперу так, щоб відстань між ними була рівно одиницею. Paul Erdős висунув кон'єктуру ще у 1946 році: він припускав, що проста сітка вже близька до оптимального рішення і не може давати значного приросту пар.
Нова конструкція та перевага AI
Модель OpenAI знайшла нове розташування точок, яке створює помітно більше пар з одиничною відстанню порівняно зі старою квадратною сіткою. За словами математика Will Sawin із Princeton University, цей приріст становить приблизно 1% більше пар за кожне подвоєння кількості точок. Хоча це звучить незначно, у контексті кон'єктури Erdős це є надзвичайно важливим досягненням, оскільки вона передбачала практично відсутність такого приросту.
Важливо зазначити, що проблема не вирішена повністю; теоретична верхня межа, відома з 1984 року, все ще значно вища за те, що дає нова конструкція. Однак ключовим моментом є інструментарій: модель використовувала не геометрію, а алгебраїчну теорію чисел.
Чому люди пропустили рішення
Thomas Bloom, один із зовнішніх математиків, які підтверджували доказ, пояснює, що для людини було б необхідно виконати чотири умови одночасно: приділити серйозний час проблемі, поставити під сумнів усталену думку Erdős і спробувати спростувати кон'єктуру, перекласти початкову конструкцію у світ числових полів та бути достатньо обізнаним із досить спеціалізованою теорією класів. Bloom стверджує: "ШІ виконав усі ці критерії".
Will Sawin додає технічну причину, чому очевидні узагальнення не спрацювали. З природного погляду було б обрати одне розширене числове поле та розглядати все більші його частини, фактично збільшуючи стару сітку в більш складному числовому світі. Однак модель OpenAI зробила навпаки: вона зберігала масштаб у межах кожного числового поля, але на кожному кроці переходила до дедалі багатших числових систем.
Значення для досліджень
Bloom включив цю проблему у свій список «Топ-10 проблем Erdős» лише за місяць до рішення ШІ, оскільки деякі спостерігачі вважали попередні розв'язки ШІ простіших задач тривіальними. Він хотів продемонструвати, що багато проблем Erdős породили десятиліття глибоких методів дослідження. Кон'єктура одиничної відстані була єдиною проблемою дискретної геометрії у його списку, оскільки вона «протистояла доказу протягом десятиліть».
Цей прорив демонструє здатність сучасних AI-моделей не просто обробляти дані чи виконувати рутинні завдання, а застосовувати складний міждисциплінарний підхід — поєднуючи елементи алгебраїчної теорії чисел із класичною площинною геометрією. Це відкриває нові горизонти для використання ШІ у фундаментальних науках.
