ИИ OpenAI решил 80-летнюю задачу Эрдёша — и на этот раз математики согласны

Почему ИИ наконец-то решил 80-летнюю математическую загадку: честный разбор

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

Что за гипотеза и почему всем плевать — но не нам

Поль Эрдёш — легенда комбинаторики. В 1946 году он сформулировал задачу о минимальном числе расстояний между точками на плоскости. Простыми словами: сколько раз может повториться одно и то же расстояние среди N точек? Долгие годы ученые считали, что лучшие варианты — это квадратные решетки. Плотность расстояний там примерно N^(2/3). И все думали: выше не прыгнешь.

Так вот, ИИ нашел совсем другое семейство конструкций. Его решение дает более высокую эффективность. Не на 5%, а на заметную величину. Модель не просто перебрала варианты — она выстроила новую логическую цепочку. Честно говоря, я не ожидал, что нейросеть способна на такое. (Личное наблюдение: недавно я заметил, что даже опытные математики часто упускают неочевидные связи между разделами геометрии и теории графов — а ИИ их увидел).

Как ИИ это сделал? Спойлер: не магия, а долгие вычисления

Модель общего назначения — не специальный «математический калькулятор». Она удерживает цепочки логических выводов длиной в десятки шагов. Представьте, что вы решаете сложную головоломку, и вам нужно держать в голове все промежуточные результаты. Для человека — титанический труд. Для ИИ — просто режим «размышления». Он перебирает варианты, отбрасывает тупиковые ветки и соединяет идеи из комбинаторики, алгебры и анализа. Именно это позволило найти конструкцию, которую ни один человек не придумал за 80 лет.

Ключевое отличие от предыдущего скандала: тогда модель GPT-5 просто выдала уже известные из литературы ответы. Бывший вице-президент OpenAI Кевин Вейл поспешно объявил о решении десяти задач Эрдёша — и получил насмешки от Яна Лекуна и Демиса Хассабиса. На этот раз разработчики подготовились: опубликовали доказательство вместе с комментариями признанных математиков — Ноги Алона, Мелани Вуд и Томаса Блума. Последний раньше критиковал OpenAI за искажение фактов, а теперь подтвердил: да, ИИ действительно нашел новое семейство конструкций.

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

Пошаговый совет: как использовать ИИ для проверки собственных гипотез

1. Сформулируйте задачу точно. Чем конкретнее постановка, тем выше шанс, что модель найдет неочевидное решение. Размытые формулировки ведут к шуму.
2. Задайте ИИ «режим размышления». Современные модели могут выводить цепочку рассуждений пошагово. Просите их записывать каждый шаг — это помогает отсеивать логические ошибки.
3. Проверяйте результат. ИИ может галлюцинировать. Сверяйте выводы с известными фактами. В идеале — привлекайте эксперта для верификации, как это сделали в OpenAI.
4. Ищите аналогии. Часто решение лежит в смежной области. Прямо попросите модель: «Подумай, как эту задачу можно свести к другой известной проблеме».

Сравнение: старый подход vs новый подход с ИИ

Конечно, ИИ не заменит математиков. Но он становится мощным инструментом для генерации идей и проверки гипотез. Томас Блум заметил: «ИИ помогает людям более полно исследовать концепции, выстраивавшиеся веками». Именно так — как ассистент, а не замена.

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