Модель ИИ нашла контрпример к гипотезе Эрдёша, остававшейся открытой почти 80 лет

Гипотеза Эрдёша

Эрдёш показал конструкцию, похожую на решётку √n × √n, в которой число единичных расстояний примерно равно

n^(1 + Ω(1 / log log n)).

Он предположил, что это почти оптимально — то есть максимум должен расти почти линейно, без фиксированной степени улучшения над n.

С другой стороны, известный верхний предел был доказан в 1984 году Спенсером, Семереди и Троттером:

ν(n) = O(n^(4/3)).

Таким образом, между известными нижними и верхними оценками долго существовал большой разрыв — один из ключевых открытых вопросов дискретной геометрии.

Контрпример, найденный моделью ИИ

В новой работе утверждается, что существуют конфигурации точек на плоскости, для которых

ν(n) ≥ n^(1+δ)

для некоторого фиксированного δ > 0 и бесконечного числа значений n.

Это принципиально меняет картину. Если бы гипотеза Эрдёша была верна, рост был бы только n^(1+o(1)) — то есть почти линейный. Появление любого фиксированного показателя δ означает, что число единичных расстояний может расти полиномиально быстрее, чем предполагалось.

Главная идея: теория чисел вместо геометрических сеток

Классические конструкции в этой задаче опирались на геометрические решётки и регулярные сетки. Новый подход использует совершенно другой инструментарий — алгебраическую теорию чисел.

В доказательстве задействованы несколько сложных математических структур:

• вполне вещественные числовые поля, организованные в бесконечные башни классовых полей
• конструкции типа Голода–Шафаревича, обеспечивающие существование бесконечных башен полей с контролируемой арифметикой
• CM‑поля, возникающие после присоединения мнимой единицы i

Такие поля порождают высокоразмерные решётки, содержащие множество элементов с нормой 1. Когда эти структуры переводятся в геометрическую конфигурацию на плоскости, соответствующие отношения нормы превращаются в большое число рёбер длины 1 между точками.

Ключевая идея — использовать богатую арифметическую структуру числовых полей для генерации гораздо большего числа расстояний, чем позволяют традиционные решётки.

Почему это опровергает гипотезу

Разница между оценками выглядит небольшой, но математически она решающая:

• гипотеза Эрдёша: n^(1+o(1))
• новая конструкция: n^(1+δ)

Поскольку δ — фиксированная положительная константа, отличие между этими функциями становится всё больше по мере роста n. Это означает, что гипотеза не может быть верной.

Проверка результата математиками

После появления доказательства группа известных математиков подготовила краткую проверенную человеком версию аргумента и обсуждение результатов.

Среди авторов — Нога Алон, Тимоти Гауэрс, Томас Блум, Уилл Савин, Мелани Матчетт Вуд и другие исследователи. Их документ объясняет основные идеи доказательства и связывает его с предыдущими результатами в теории чисел, включая работы о башнях Голода–Шафаревича и связанных алгебраических конструкциях.

Такая проверка важна: в математике крупные результаты проходят длительный период изучения и обсуждения, прежде чем становятся общепринятыми.

Почему это называют важной вехой для ИИ

Интерес к работе вызван не только самой задачей. Если результат будет окончательно подтверждён математическим сообществом, он может стать одним из первых случаев, когда универсальная система искусственного интеллекта предложила новое доказательство для крупной открытой проблемы математики, а не просто воспроизвела известный результат.

Ранее эксперименты с ИИ иногда приводили к решениям, которые позже оказывались уже известными в литературе. Здесь же речь идёт о новом контрпримере к гипотезе, сформулированной в 1946 году, который объединяет идеи из разных областей современной математики.

Что будет дальше

Даже после публикации и предварительной проверки такие результаты обычно проходят годы детального анализа. Математики будут:

• проверять отдельные части доказательства
• искать более простые формулировки аргумента
• изучать последствия для других задач дискретной геометрии

Независимо от итогового вердикта, этот случай показывает новую модель научных открытий — когда автоматизированные системы рассуждения и люди работают вместе, исследуя математические структуры, которые раньше было трудно систематически изучать.