An OpenAI model solved a famous math problem that stumped humans for 80 years

В середине мая 2025 года OpenAI объявила, что её внутренняя модель опровергла гипотезу Эрдёша о единичных расстояниях (Erdős unit distance conjecture), знаменитую задачу дискретной геометрии, которую не могли решить с 1946 года. Несколько математиков получили ранний доступ к результату и публично его оценили. Тимоти Гауэрс, лауреат Филдсовской премии (самой престижной награды в математике), назвал решение «вехой в математике ИИ». Профессор Университета Торонто Даниэль Литт написал, что «это первый пример результата, полученного ИИ автономно, который волнует сам по себе, а не только как опережающий индикатор».

Что именно сделала модель?

• Полное доказательство, а не подсказка. Модель построила законченное опровержение гипотезы, применив существующие идеи из нескольких разделов математики. Раньше ИИ выдавал фрагменты, которые человек дорабатывал до публикуемого результата.
• Новых математических техник модель не создала. Она комбинировала известные подходы. После публикации люди «вычистили» и расширили доказательство.
• Это эволюция, а не скачок. Три года назад языковые модели (LLM, большие языковые модели, основа ChatGPT и аналогов) с трудом справлялись с арифметикой. В прошлом году они стали побеждать на школьных олимпиадах. Теперь дошли до открытых исследовательских задач.

Характерная деталь: на крупнейшей ежегодной математической конференции Joint Mathematics Meetings в январе 2025 года ИИ-системы уже вносили вклад в исследования, но только в узких рамках, и результат требовал серьёзной человеческой интерпретации. Нынешнее доказательство OpenAI стало следующим шагом по этой траектории.

Зачем это знать, если вы не математик?

Результат показывает конкретную модель сотрудничества человека и ИИ в интеллектуальной работе.

• Автору Дзена и копирайтеру. Та же логика применима к контенту: ИИ перебирает варианты, комбинирует известные приёмы, а вы ставите задачу и фильтруете результат. Модель не придумала новую технику, она быстрее человека перебрала существующие. Именно так стоит использовать ChatGPT или YandexGPT при подготовке текстов: поручить черновой перебор, а творческое решение оставить себе.
• Маркетологу. ИИ, который умеет строить цепочки рассуждений на уровне научного доказательства, через год-два будет строить цепочки анализа данных и гипотез для A/B-тестов. Следить за развитием рассуждающих моделей (reasoning model, модели, которые «думают» пошагово перед ответом) уже практично.
• Предпринимателю в РФ. Внутренняя модель OpenAI публично недоступна. Но направление задано: ИИ-ассистент для перебора вариантов и проверки гипотез. В российских реалиях YandexGPT и GigaChat пока не решают задач такого уровня, однако для бизнес-задач (анализ договоров, проверка расчётов) они уже полезны.

Как попробовать рассуждающие модели самому?

1. Откройте ChatGPT (chatgpt.com) и выберите модель o3 или o4-mini: это публично доступные рассуждающие модели OpenAI. Задайте сложную аналитическую задачу и посмотрите, как модель рассуждает пошагово.
2. Для сравнения попробуйте ту же задачу в YandexGPT (ya.ru/gpt) или GigaChat (giga.chat). Сравните глубину рассуждения и точность.
3. Сформулируйте задачу как «найди все возможные подходы к проблеме X и оцени каждый», это ближе всего к тому, как модель OpenAI работала с гипотезой Эрдёша.

Сравнение с российскими аналогами

Прямого аналога нет: ни YandexGPT, ни GigaChat не заявляли о решении открытых математических задач. Однако для повседневных аналитических задач (структурирование данных, поиск ошибок в расчётах, перебор аргументов) обе платформы доступны в РФ без VPN и бесплатны в базовой версии. Если вам нужен именно пошаговый «рассуждающий» режим, на момент публикации он реализован только у OpenAI (o3, o4-mini) и частично у Google (Gemini).

Частые вопросы

Модель OpenAI теперь умнее математиков?

Нет. Модель не создала новых математических техник, она скомбинировала существующие быстрее и шире, чем это делает один человек. После публикации результат дорабатывали и расширяли люди. Тимоти Гауэрс и Даниэль Литт оценили работу высоко, но автор оригинального разбора подчёркивает: это не радикальный перелом, а следующий шаг на уже наметившейся траектории.

Можно ли попробовать эту модель?

Конкретная внутренняя модель OpenAI, решившая задачу, публично недоступна. Но рассуждающие модели o3 и o4-mini доступны в ChatGPT и дают представление о том, как ИИ выстраивает пошаговые цепочки логики.

Что это значит для обычного автора или предпринимателя?

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

По материалам Ars Technica AI