21 мая 2026 года разошлась новость, которая звучит как научная фантастика: OpenAI объявила, что её новый универсальный рассуждающий (reasoning) модельный стек самостоятельно, без участия человеческих математиков, получил результат, который опровергает один из классических прогнозов Пола Эрдёша в дискретной геометрии — так называемую задачу о «единичных расстояниях».

Публикация мгновенно вызвала резонанс: по сообщениям, Филдсовский лауреат Тимоти Гауэрс написал в X, что математикам «лучше сидеть крепче», а ряд ведущих исследователей отметил не только силу результата, но и необычность используемых методов.

Постановка, предложенная Эрдёшем ещё в 1946 году, предельно проста на словах. Возьмём n точек на плоскости. Сколько пар точек могут находиться ровно на расстоянии 1 друг от друга — максимально возможное число? Эту величину обозначают u(n).

Интуитивно кажется, что «самые плотные и симметричные» конфигурации (вроде квадратной решётки) должны давать почти максимум. Десятилетиями вокруг этого и строилась вера в то, что рост u(n) лишь немного быстрее линейного. Нижние оценки, связанные с решётками, и верхние оценки порядка O(n4/3), полученные классическими методами и долго не улучшаемые.

Суть заявления OpenAI в том, что модель нашла новое семейство конфигураций точек, которое разрушает «решёточную» картину мира. В опубликованных материалах утверждается, что построение даёт существенно больше единичных расстояний — на уровне полиномиального выигрыша:

u(n)≥n1+δ

где δ>0 — фиксированная константа. Далее в обсуждениях (в частности, в заметках к доказательству) фигурирует конкретизация δ=0.014, которую, как сообщается, уточнил и проработал математик из Принстона Will Sawin, проверяя и «доводя» аргументацию.

Если это корректно и устойчиво к экспертной проверке, то меняется сам «пейзаж» задачи: оказывается, существует принципиально иной тип структуры, который даёт больше единичных расстояний, чем считалось «естественным потолком» десятилетиями.

Отдельный источник шока — не только итог, но и путь. В пересказе OpenAI (и в реакции комментаторов) подчёркивается, что модель решила плоскую геометрическую задачу, активно опираясь на инструменты алгебраической теории чисел — причём на весьма «тяжёлую артиллерию»: упоминаются бесконечные башни классовых полей (Infinite Class Field Towers) и теория Голода—Шафаревича (Golod–Shafarevich Theory).

Идея выглядит как «сдвиг измерения»: вместо привычных геометрических/комбинаторных ходов — конструирование богатых алгебраических структур, порождающих множество единичных разностей.

Именно это, по отзывам математиков в материале, производит впечатление «вкуса» и творческой смелости: не перебор и не локальная оптимизация, а перенос методов между далёкими областями.

OpenAI отдельно акцентирует, что речь идёт не о специализированной системе под конкретную гипотезу и не о доказательствах внутри узкого формального языка, а о универсальной рассуждающей модели, удерживающей длинные логические цепочки и междисциплинарные связи. В тексте также подчёркивается роль людей после факта: эксперты проверяют, переписывают, уточняют параметры и превращают «сырой» результат в форму, пригодную для сообщества.

Здесь важно и здравое примечание: даже при наличии PDFдоказательства математика «принимает» результат не по заголовку, а по независимой верификации. Но сам факт появления публичного, проверяемого текста — уже другой уровень разговора по сравнению с абстрактными заявлениями.

Где посмотреть первоисточники

OpenAI: Model disproves discrete geometry conjectureДоказательство (PDF): unit-distance-proof.pdfЗамечания/комментарии (PDF): unit-distance-remarks.pdf