80 лет никто не мог сдвинуться с места. OpenAI решил геометрическую тайну Эрдёша через теорию чисел
NewsMakerИИ-модель OpenAI опровергла гипотезу Эрдёша о единичных расстояниях.
Математическая задача, которая почти 80 лет выглядела простой только на бумаге, получила неожиданный поворот. OpenAI сообщила , что внутренняя ИИ-модель опровергла давнюю гипотезу в дискретной геометрии, связанную с задачей о единичных расстояниях.
Задачу в 1946 году сформулировал венгерский математик Пол Эрдёш. Вопрос звучит почти школьно: если разместить на плоскости n точек, сколько пар может находиться ровно на расстоянии одной единицы друг от друга? Простая формулировка скрывала одну из самых известных проблем комбинаторной геометрии.
Долгое время математики считали, что лучшие построения дают узоры, близкие к квадратной решётке. Подобные конструкции позволяли получать число пар, растущее лишь немного быстрее линейного. Эрдёш предполагал, что заметно улучшить результат не получится.
Модель OpenAI нашла бесконечное семейство расположений точек, где единичных расстояний получается больше, чем ожидали по старой гипотезе. Для бесконечного набора значений n новая конструкция даёт не менее n в степени 1+δ пар единичных расстояний, где δ больше нуля. Первоначальное доказательство не называло точное значение δ, но математик Принстонского университета Уилл Савин позже показал, что можно взять δ = 0,014.
Важна не только сама оценка, но и путь к доказательству. Вместо привычных геометрических приёмов ИИ-модель связала задачу с теорией чисел, точнее с её алгебраическим разделом. Раздел изучает расширения обычных числовых систем и их внутреннюю структуру. В доказательстве появились башни полей классов и теория Голода-Шафаревича, инструменты, которые редко ждут в задаче про точки на плоскости.
Если упростить, модель нашла в сложных числовых системах симметрии, позволяющие строить на плоскости гораздо больше пар точек с расстоянием ровно один. Для специалистов неожиданность заключалась в том, что глубокая теория чисел оказалась полезной в классической геометрической задаче Эрдёша.
Доказательство проверила группа внешних математиков. Авторы сопроводительной работы объяснили аргумент и значение результата для дискретной геометрии. Лауреат Филдсовской премии Тимоти Гауэрс назвал результат важной вехой для математики ИИ, а теоретик чисел Арул Шанкар отметил, что современные модели уже способны не только помогать исследователям, но и предлагать оригинальные идеи.
OpenAI подчёркивает, что доказательство получила модель общего назначения, а не специализированная программа для автоматического доказательства теорем. Инженеры не обучали систему отдельно на задаче о единичных расстояниях и не создавали для неё особый поисковый инструмент.
Результат не закрывает всю задачу о точном максимуме единичных расстояний для n точек, но ломает важное ожидание, державшееся со времён Эрдёша. Математикам теперь придётся внимательнее смотреть на старые геометрические проблемы через методы теории чисел.
Математическая задача, которая почти 80 лет выглядела простой только на бумаге, получила неожиданный поворот. OpenAI сообщила , что внутренняя ИИ-модель опровергла давнюю гипотезу в дискретной геометрии, связанную с задачей о единичных расстояниях.
Задачу в 1946 году сформулировал венгерский математик Пол Эрдёш. Вопрос звучит почти школьно: если разместить на плоскости n точек, сколько пар может находиться ровно на расстоянии одной единицы друг от друга? Простая формулировка скрывала одну из самых известных проблем комбинаторной геометрии.
Долгое время математики считали, что лучшие построения дают узоры, близкие к квадратной решётке. Подобные конструкции позволяли получать число пар, растущее лишь немного быстрее линейного. Эрдёш предполагал, что заметно улучшить результат не получится.
Модель OpenAI нашла бесконечное семейство расположений точек, где единичных расстояний получается больше, чем ожидали по старой гипотезе. Для бесконечного набора значений n новая конструкция даёт не менее n в степени 1+δ пар единичных расстояний, где δ больше нуля. Первоначальное доказательство не называло точное значение δ, но математик Принстонского университета Уилл Савин позже показал, что можно взять δ = 0,014.
Важна не только сама оценка, но и путь к доказательству. Вместо привычных геометрических приёмов ИИ-модель связала задачу с теорией чисел, точнее с её алгебраическим разделом. Раздел изучает расширения обычных числовых систем и их внутреннюю структуру. В доказательстве появились башни полей классов и теория Голода-Шафаревича, инструменты, которые редко ждут в задаче про точки на плоскости.
Если упростить, модель нашла в сложных числовых системах симметрии, позволяющие строить на плоскости гораздо больше пар точек с расстоянием ровно один. Для специалистов неожиданность заключалась в том, что глубокая теория чисел оказалась полезной в классической геометрической задаче Эрдёша.
Доказательство проверила группа внешних математиков. Авторы сопроводительной работы объяснили аргумент и значение результата для дискретной геометрии. Лауреат Филдсовской премии Тимоти Гауэрс назвал результат важной вехой для математики ИИ, а теоретик чисел Арул Шанкар отметил, что современные модели уже способны не только помогать исследователям, но и предлагать оригинальные идеи.
OpenAI подчёркивает, что доказательство получила модель общего назначения, а не специализированная программа для автоматического доказательства теорем. Инженеры не обучали систему отдельно на задаче о единичных расстояниях и не создавали для неё особый поисковый инструмент.
Результат не закрывает всю задачу о точном максимуме единичных расстояний для n точек, но ломает важное ожидание, державшееся со времён Эрдёша. Математикам теперь придётся внимательнее смотреть на старые геометрические проблемы через методы теории чисел.