1. Потрясающее объявление в мире математики

20 мая 2026 года OpenAI объявила, что её внутренняя общая модель рассуждений автономно решила центральную открытую проблему дискретной геометрии — проблему единичных расстояний Эрдёша, опровергнув гипотезу, господствовавшую в этой области почти 80 лет.

Это отмечает первый случай, когда система ИИ сделала всё следующее:

• 🤖 Автономно предложила оригинальное доказательство
• 🔗 Соединила разные области (алгебраическая теория чисел ↔ комбинаторная геометрия)
• ✅ Прошла строгую экспертизу математиков мирового класса
• 🏆 Решила центральную открытую проблему зрелой математической подобласти

“Почти 80 лет математики считали, что оптимальная конфигурация примерно напоминает квадратную решётку. Модель OpenAI теперь опровергла это убеждение, обнаружив совершенно новое семейство конструкций с лучшей производительностью.” — OpenAI, 20 мая 2026 года

2. Проблема: обманчиво простой вопрос Эрдёша

В 1946 году венгерский математик Пал Эрдёш (1913–1996) поставил проблему, достаточно простую, чтобы объяснить её ребёнку, и в то же время достаточно глубокую, чтобы озадачивать самые светлые умы почти столетие:

Вопрос

Дано $n$ точек на плоскости, каково максимальное количество пар, находящихся ровно на расстоянии 1 единицы?

Формально, если определить $u(n)$ как максимальное количество пар единичного расстояния среди $n$ точек:

$u(n) = \max_{\substack{P \subset \mathbb{R}^2 \\ |P| = n}} \big|\{\{p, q\} \subset P : \|p - q\| = 1\}\big|$

Визуальная интуиция

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

    •─────•                    •──•──•
    │\   /│                    │\/|\/|
    │ \ / │                    │/\|/\|
    •──X──•         vs.        •──•──•
    │ / \ │                    │\/|\/|
    │/   \│                    │/\|/\|
    •─────•                    •──•──•

  Случайное размещение       Квадратная решётка (конструкция Эрдёша)
  (мало единичных расстояний) (много единичных расстояний)

3. 80 лет математического консенсуса

Нижняя граница: конструкция решётки Эрдёша (1946)

Сам Эрдёш предоставил фундаментальную нижнюю границу, используя элегантно простую конструкцию: перемасштабированную квадратную решётку.

    •──•──•──•──•──•
    │  │  │  │  │  │
    •──•──•──•──•──•
    │  │  │  │  │  │
    •──•──•──•──•──•
    │  │  │  │  │  │
    •──•──•──•──•──•
    │  │  │  │  │  │
    •──•──•──•──•──•

Тщательно масштабируя решётку так, чтобы многие расстояния были точно равны 1, Эрдёш доказал:

$u(n) \geq n^{1 + \frac{c}{\log\log n}} \quad \text{для некоторой константы } c > 0$

Поскольку $\frac{c}{\log\log n} \to 0$ при $n \to \infty$, это “почти линейно” — показатель степени стремится к 1, но никогда не достигает фиксированного значения больше 1.

Верхняя граница: Спенсер–Семереди–Троттер (1984)

В 1984 году Джоэл Спенсер, Эндре Семереди и Уильям Т. Троттер установили наилучшую известную верхнюю границу, используя тогда революционное неравенство числа пересечений:

$u(n) = O(n^{4/3})$

Эта граница продержалась 40 лет.

Центральная гипотеза

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

Гипотеза (Эрдёш, 1946): Максимальное количество единичных расстояний растёт как $n^{1+o(1)}$. Другими словами: $u(n) = n^{1 + o(1)}$ Конструкция квадратной решётки по существу оптимальна.

Сводка разрыва

4. Прорыв ИИ: опровержение гипотезы

Результат

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

Теорема (сгенерировано ИИ, 2026): Существует бесконечное семейство конструкций множеств точек на плоскости, такое, что для бесконечно многих $n$ количество пар единичного расстояния составляет не менее: $u(n) \geq n^{1 + \delta}$ где $\delta > 0$ — фиксированная положительная константа.

Это фундаментально опровергает гипотезу Эрдёша $n^{1+o(1)}$ — количество единичных расстояний может расти полиномиально超过线性, а не только “почти линейно”.

Ключевые цифры

5. Доказательство: междисциплинарная изобретательность

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

Два сдвига перспективы

Теоретик чисел Арул Шанкар объяснил в сопроводительной статье “Замечания об опровержении гипотезы о единичных расстояниях” (arXiv:2605.20695):

Сдвиг 1: Зафиксировать простые числа, менять поле

Традиционно теоретики чисел фиксируют числовое поле и меняют простые числа. Доказательство ИИ обратило эту перспективу:

Традиционно: Фиксировать поле $K$, менять простые числа $p$

Доказательство ИИ: Фиксировать множество простых чисел $S$, менять поле $K$ — менять числовое поле над фиксированным множеством простых чисел

Этот метод распространён в арифметической статистике, но почти беспрецедентен в комбинаторной геометрии фиксированной размерности.

Сдвиг 2: Башни полей классов

Вместо использования числовых полей ограниченной степени доказательство применило башни полей классов — бесконечные башни расширений полей из теории полей классов:

$K = K_0 \subset K_1 \subset K_2 \subset \cdots \subset K_n \subset \cdots$

где каждое $K_{i+1}$ — поле классов Гильберта для $K_i$.

Конструкция башни полей классов

graph TD
    subgraph "Конструкция башни полей классов"
        K0["$K_0 = K$<br/>Базовое поле"] --> K1["$K_1 = H(K_0)$<br/>Поле классов Гильберта"]
        K1 --> K2["$K_2 = H(K_1)$<br/>Поле классов Гильберта"]
        K2 --> K3["$K_3 = H(K_2)$<br/>Поле классов Гильберта"]
        K3 --> K4["$\cdots$"]
        K4 --> Ki["$K_i$"]
        Ki --> Kinf["$K_\infty$<br/>Бесконечная башня"]
    end

    subgraph "Связь с геометрией"
        K0 -.->|"Кольцо целых"| O0["$\mathcal{O}_K$"]
        O0 -->|"Вложение"| C["$\mathbb{C}^r$"]
        C -->|"Порождает множество точек"| U["Единичные расстояния<br/>на плоскости"]
    end

    style K0 fill:#e1f5fe
    style K1 fill:#b3e5fc
    style K2 fill:#81d4fa
    style K3 fill:#4fc3f7
    style Ki fill:#29b6f6
    style Kinf fill:#0288d1,color:#fff

Связь с Голодом–Шафаревичем

Доказательство использует теорию Голода–Шафаревича, которая даёт условия для бесконечности башни полей классов:

Теорема Голода–Шафаревича: Если числовое поле $K$ имеет достаточно много разветвлённых простых чисел относительно своей степени, то его башня полей классов бесконечна.

Это бесконечное расширение создаёт достаточно алгебраической структуры для порождения множеств точек с желаемым количеством $n^{1+\delta}$ единичных расстояний.

6. Независимая верификация и академическое признание

Извлекая уроки из противоречия октября 2025 года (когда GPT-5 заявил о решении проблем Эрдёша, но был разоблачён математиком Томасом Блумом как простая выдача известных результатов), OpenAI провела строгую независимую верификацию:

Проверяющие математики

Сопроводительная статья

Сопроводительная статья “Замечания об опровержении гипотезы о единичных расстояниях” была написана командой суперзвёзд:

• Нога Алон (Принстон)
• Томас Блум (Оксфорд)
• Тимоти Гауэрс (Кембридж)
• Дэниел Литт (Торонто)
• Уилл Совин (Принстон)
• Арул Шанкар (Торонто)
• Джейкоб Цимерман (Торонто)
• Мелани Матчетт Вуд (Гарвард)

📄 arXiv: 2605.20695

7. Хронология: от гипотезы до опровержения

timeline
    title Проблема единичных расстояний Эрдёша — 80-летнее путешествие

    1946 : Пал Эрдёш ставит проблему
         : Предлагает гипотезу $n^{1+o(1)}$
         : Вводит нижнюю границу квадратной решётки

    1952 : Мозер улучшает верхнюю границу
         : $u(n) \leq O(n^{3/2})$

    1984 : Спенсер–Семереди–Троттер
         : Метод числа пересечений
         : $u(n) = O(n^{4/3})$ (всё ещё лучшая верхняя граница)

    1990s : Элекес вводит полиномиальный метод
           : Доказательство числа пересечений Секея

    2010 : Гатри–Кац различные расстояния
          : Революция полиномиального разбиения

    2015 : Гатри–Кац доказывают границу различных расстояний
          : Новые методы оживляют область

    Oct 2025 : Противоречие GPT-5
              : Заявляет о решении 10 проблем Эрдёша
              : Разоблачён Томасом Блумом
              : (Урок для OpenAI)

    May 2026 : 🤖 Прорыв ИИ
              : Модель рассуждений OpenAI опровергает гипотезу
              : Башня полей классов встречает комбинаторную геометрию
              : $\delta = 0.014$ (улучшение Совина)
              : Сайт проблем Эрдёша обновлён на опровергнута

8. Ключевой пример кода

Эталонная реализация подсчёта единичных расстояний

import numpy as np
from itertools import combinations
from typing import List, Tuple

def count_unit_distances(points: List[Tuple[float, float]],
                         eps: float = 1e-9) -> int:
    """
    Подсчитывает количество пар единичного расстояния в наборе точек.

    Это фундаментальная вычислительная задача, поставленная Эрдёшем.

    Args:
        points: список координат (x, y)
        eps: допуск для сравнения чисел с плавающей точкой

    Returns:
        количество пар на расстоянии ровно 1 (в пределах допуска)

    Временная сложность: O(n²) — проверяет все пары
    Пространственная сложность: O(1) дополнительно
    """
    count = 0
    n = len(points)

    for i, j in combinations(range(n), 2):
        x1, y1 = points[i]
        x2, y2 = points[j]

        dist_sq = (x2 - x1)**2 + (y2 - y1)**2

        if abs(dist_sq - 1.0) < eps:
            count += 1

    return count


def erdos_grid_construction(n: int) -> List[Tuple[float, float]]:
    """
    Оригинальная перемасштабированная квадратная решётка Эрдёша.

    Эта конструкция достигает примерно n^(1 + c/log(log(n))) единичных расстояний.
    """
    m = int(np.sqrt(n))
    scale = 1.0

    points = []
    for i in range(m):
        for j in range(m):
            points.append((i * scale, j * scale))

    return points[:n]


# Пример: сравнение конструкций
if __name__ == "__main__":
    n = 100

    random_points = [(np.random.random(), np.random.random())
                     for _ in range(n)]
    random_count = count_unit_distances(random_points)

    grid_points = erdos_grid_construction(n)
    grid_count = count_unit_distances(grid_points)

    print(f"n = {n} точек")
    print(f"Случайное размещение: {random_count} единичных расстояний")
    print(f"Решётчатая конструкция: {grid_count} единичных расстояний")
    print(f"Теоретический максимум (гипотетический): ~{n:.0f}")
    print(f"Нижняя граница ИИ (n^1.014): {n**1.014:.1f}")

9. Почему на этот раз всё иначе

Предыдущие математические достижения ИИ относились к другим категориям. Этот прорыв представляет собой смену парадигмы:

Роль ИИ в математике
├── Соревновательная математика (задачи уровня золота IMO — структурированные, ограниченные инновации)
├── Формальная верификация (Lean/Coq — проверяет существующие теоремы, без оригинальных открытий)
├── Синтез литературы (GPT-5 Окт 2025 — выдача известных результатов, разоблачён)
└── 🏆 Этот прорыв
    ├── Генерация оригинального доказательства
    ├── Междисциплинарная связь
    ├── Без пошагового человеческого руководства
    ├── Экспертная рецензия
    └── Решает центральную открытую проблему

10. Более глубокие последствия

За пределами математики

Этот прорыв сигнализирует о возможностях, далеко выходящих за пределы геометрии:

• 🧬 Биология — открытие новых лекарств и белковых структур
• ⚛️ Физика — предложение новых теорий и моделей
• 🧪 Материаловедение — разработка новых материалов
• 🔬 Медицина — открытие новых методов лечения
• 🏗️ Инженерия — решение сложных задач проектирования

Оценка OpenAI

“Сохранение связности в сложных цепочках рассуждений, соединение идей из разных областей и нахождение путей, которые исследователи, возможно, не рассматривали — эти способности в равной степени применимы к биологии, физике, материаловедению, инженерии и медицине. Это шаг к более автоматизированным исследованиям.”

Роль человека остаётся незаменимой

Как сказал Томас Блум — тот самый математик, который разоблачил заявления OpenAI от октября 2025 года:

“Какие невидимые чудеса ещё ждут своего открытия?”

Ссылки

1. 📝 Официальный блог OpenAI (20 мая 2026): An OpenAI model has disproved a central conjecture in discrete geometry
2. 📄 Сопроводительная статья: Noga Alon, Thomas Bloom, Tim Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Melanie Matchett Wood, “Remarks on the disproof of the unit distance conjecture”, arXiv:2605.20695. Ссылка
3. 🌐 Сайт проблем Эрдёша: erdosproblems.com — статус обновлён на опровергнута
4. Interesting Engineering: “80-year-old geometry mystery cracked by OpenAI using deep number theory”
5. Yahoo Tech: “OpenAI claims it solved an 80-year-old math problem”
6. AI Wins News: “OpenAI Model Disproves 80-Year-Old Unit Distance Conjecture”