ИИ от OpenAI решил 80-летнюю задачу Эрдёша, математики подтвердили

Компания OpenAI объявила о том, что её внутренняя модель искусственного интеллекта успешно решила математическую задачу, над которой учёные бились около 80 лет. Речь идёт о задаче Эрдёша, сформулированной венгерским математиком Полом Эрдёшем в 1946 году.

Задача о плоских единичных расстояниях звучит просто: если разместить n точек на плоскости, сколько пар точек могут находиться на расстоянии ровно 1? Эрдёш предположил, что это число будет расти чуть быстрее, чем количество точек. До недавнего времени самый точный верхний предел для этого числа был установлен математиками в 1984 году.

Модель ИИ от OpenAI не только нашла ответ, но и превзошла предел, установленный самим Эрдёшем. Решение было представлено в виде группы расположений точек, которая превышает ранее известные границы.

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

По данным компании, модель использовала методы символьного вывода и поиска, что позволило выйти за рамки традиционных подходов. OpenAI подчеркнула, что это достижение демонстрирует потенциал ИИ в фундаментальной науке.

Для математиков такой прорыв означает не только решение конкретной задачи, но и возможность применения ИИ для других нерешённых проблем. В частности, аналогичные методы могут быть использованы в комбинаторике и теории графов.