AI решает задачу геометрии: OpenAI опровергает 80-летнюю гипотезу Эрдёша
20 мая 2026 года OpenAI объявил, что его внутренняя модель общего рассуждения автономно решила центральную открытую проблему дискретной геометрии — проблему единичных расстояний Эрдёша, опровергнув гипотезу, доминировавшую в поле почти 80 лет.
Это первый раз, когда AI-система:
- 🤖 Автономно предложила оригинальное доказательство
- 🔗 Соединила разные поля (алгебраическая теория чисел ↔ комбинаторная геометрия)
- ✅ Прошла строгое рецензирование ведущими математиками
- 🏆 Решила центральную открытую проблему
Проблема
В 1946 году Пол Эрдёш задал обманчиво простой вопрос: для n точек на плоскости, каково максимальное число пар на расстоянии ровно 1?
Консенсус 80 лет: конструкция Эрдёша (квадратная решетка) оптимальна: u(n) = n^(1+o(1)).
Прорыв AI
Модель OpenAI доказала: существует δ > 0, такое что u(n) ≥ n^(1+δ) для бесконечно многих n. Это фундаментально опровергает гипотезу Эрдёша.
Вилл Савин (Принстон) улучшил результат до δ = 0.014.
Метод
Модель применила алгебраическую теорию чисел к элементарной геометрии — связь, которую не исследовал ни один математик.
Два сдвига:
- Зафиксировать простые числа, варьировать поле — обратная перспектива
- Башни полей классов — бесконечные расширения из теории полей классов
Верификация
Команда математиков мирового уровня:
- Tim Gowers (Кембридж, филдсовский медалист)
- Noga Alon (Принстон)
- Thomas Bloom (Оксфорд)
- и другие
Сопутствующая статья: arXiv 2605.20695.
Почему это важно
| Аспект | Прошлый AI | Этот результат |
|---|---|---|
| Оригинальность | Воспроизводит известное | Полностью новый аргумент |
| Автономия | Human-guided | Полностью автономно |
| Важность | Соревновательные задачи | Центральная проблема поля |
| Кросс-домен | Один домен | Теория чисел → Геометрия |