Математики 80 лет бились над задачей Эрдёша. ИИ нашёл элегантное решение — но почему не люди?
Задача, которую математики не могли решить 80 лет. ИИ нашёл ответ — и поставил новый вопрос
Поместите любое количество точек на двумерную плоскость — скажем, на лист бумаги — и измерьте расстояние между каждой парой. Если вы переставите точки, сколько пар окажутся на одинаковом расстоянии друг от друга? Венгерский математик Пол Эрдёш впервые задал этот вопрос в 1946 году. Даже при росте числа точек, утверждал он, лучший способ максимизировать общее количество пар — это расположить их в виде сетки. Эрдёш также предположил, что количество пар может быть лишь ненамного больше, чем количество точек. Последующие 80 лет большинство математиков считали его правым. Но теперь модель искусственного интеллекта бросила вызов этому подходу. OpenAI недавно объявила, что одна из её внутренних моделей обнаружила стратегию, позволяющую получить больше пар, чем в расположениях, предложенных Эрдёшем.
Эта головоломка, известная как задача о единичных расстояниях на плоскости, была «одной из любимых задач Эрдёша», — пишет Нога Алон, математик из Принстонского университета, в сопроводительной статье к объявлению OpenAI. Алон слышал, как Эрдёш упоминал эту задачу «многократно» в своих лекциях. В 1982 году, после десятилетий без особых прорывов, Эрдёш предложил 300 долларов за доказательство или опровержение своего предположения о верхней границе. Около 1995 года он увеличил сумму до 500 долларов.
Кто такой Пол Эрдёш — математик, который жил математикой
Родившийся в Будапеште в 1913 году, Эрдёш был сыном двух учителей математики. Обе его старшие сестры умерли от скарлатины, пока мать была в больнице при его родах. Вскоре после начала Первой мировой войны в 1914 году его отец был задержан в сибирском лагере для военнопленных. Он не вернулся шесть лет. В разгар этого горя мать Эрдёша стала очень заботливой к выжившему ребёнку, держа его дома большую часть времени. «Я влюбился в числа, — вспоминал он позже. — Они были моими друзьями. Я мог положиться на то, что они всегда будут рядом и всегда будут вести себя одинаково».
После окончания венгерского университета со степенью доктора философии по математике Эрдёш вёл кочевой образ жизни, останавливаясь у математиков по всему миру, с которыми хотел сотрудничать. Он появлялся, часто без предупреждения, с фирменным приветствием: «Мой мозг открыт!» «Он жил и дышал математикой и мог заснуть за обеденным столом, если темой разговора не была математика», — писали в некрологе Эрдёша в 1996 году. Он стал соавтором более 1500 статей, что сделало его одним из самых плодовитых математиков XX века. Помимо опубликованных работ, Эрдёш ставил сотни задач для своих коллег-математиков, часто предлагая денежное вознаграждение. Самое крупное — 10 000 долларов.
Как OpenAI нашла лучшее решение и почему это важно
Стратегия OpenAI заключалась в расположении точек с использованием методов из раздела математики, называемого алгебраической теорией чисел. Вскоре после объявления Уилл Сонин, математик из Принстонского университета, также внёсший вклад в сопроводительную статью, использовал тот же подход, чтобы найти ещё лучшее решение. Блум, Сонин и их коллеги также использовали аналогичные методы для решения другой открытой проблемы — гипотезы о сумме-произведении, которую Эрдёш выдвинул в 1970-х годах. «Это был сюрприз, потому что я довольно много думал над этой задачей, — говорит Блум. — Когда вы знаете, что что-то может быть возможным, вы готовы приложить немного больше усилий, чтобы это действительно заработало».
Однако OpenAI не опубликовала исходные результаты модели. Вместо этого компания опубликовала «переписанное резюме» цепочки рассуждений модели вместе с доказательством, переписанным математиками. Как пишет Блум в сопроводительной статье: «Человек по-прежнему играет жизненно важную роль в обсуждении, осмыслении и улучшении этого доказательства, а также в изучении его последствий». В объявлениях такого рода, говорит соавтор антрополог Родриго Очигаме, «основная информация, необходимая для оценки научного значения результата, хранится в секрете». Компания не раскрыла ничего о методах, подсказках, написанных человеком, обучающих данных или вычислительных ресурсах.
Нужен ли был человеку ИИ, чтобы решить эту задачу?
В сопроводительной статье авторы объясняют, что модель черпала знания из разных областей, тогда как большинство математиков сосредоточены на узких специальностях. Исследователи также предполагали, что стратегия Эрдёша была верна, поэтому мало кто тратил значительное время на поиски способов её опровергнуть. Время человека ограничено, а ИИ может неустанно работать над любой задачей. «Безусловно, это идея, которую, насколько мы можем судить, люди не придумали, — говорит Сонин. — Это не идея, которую люди не могли бы придумать. ИИ не решил невозможную математическую задачу, но это и не ничего. Это что-то среднее».
2 июня группа математиков опубликовала серию рекомендаций относительно всё ещё жизненно важной человеческой роли. Документ, названный Лейденской декларацией об искусственном интеллекте и математике, содержит руководство для исследователей, политиков и организаций по этичному использованию ИИ в математике. Авторы декларации предупреждают о громких заголовках, анонсирующих результаты, которые ещё не прошли проверку стандартным академическим процессом. Они призывают исследователей раскрывать, какие инструменты ИИ они использовали, брать на себя ответственность за точность своей работы и обеспечивать надлежащее цитирование существующей литературы.
Ключевые факты о задаче и её решении
- Название задачи: задача о единичных расстояниях на плоскости (planar unit distance problem)
- Кто поставил: Пол Эрдёш, 1946 год
- Гипотеза Эрдёша: максимальное количество единичных расстояний достигается при сетчатом расположении точек
- Срок нерешённости: около 80 лет
- Награда: $300 (1982), $500 (1995) — за доказательство или опровержение
- Что сделал ИИ: нашёл стратегию расположения точек, дающую больше единичных расстояний, чем у Эрдёша
- Использованный метод: алгебраическая теория чисел
- Что произошло после: математик Уилл Сонин нашёл ещё лучшее решение, используя тот же подход
- Дополнительный результат: те же методы помогли решить гипотезу о сумме-произведении (другая задача Эрдёша, 1970-е)
- Прозрачность: OpenAI не раскрыла исходные данные модели (методы, промпты, данные обучения, ресурсы)
Сравнение: подход Эрдёша vs. решение ИИ и Сонина
| Аспект | Гипотеза Эрдёша (1946) | Решение ИИ / Сонина (2026) |
|---|---|---|
| Расположение точек | Сетка (grid-like arrangement) | Методы алгебраической теории чисел |
| Количество единичных расстояний | Ненамного больше количества точек | Больше, чем в решётке Эрдёша |
| Исходный статус | Предполагался правильным 80 лет | Опровергает гипотезу Эрдёша |
Итог: ИИ не решил невозможную задачу, но нашёл то, что люди упустили из виду — не потому что они не могли, а потому что предполагали, что Эрдёш прав, и не искали активно. Это напоминание: иногда самый ценный вклад ИИ — не в том, чтобы делать то, что люди не могут, а в том, чтобы показывать нам то, что мы не догадались попробовать. Но пока компания держит методы в секрете, а математики призывают к прозрачности — спор о том, кому принадлежит заслуга, только начинается.
ДРУГИЕ СТАТЬИ
16.07.2026
Пуговичный король Среднего Запада: как один немец нашёл в реках Айовы сокровище и погубил его
Эта история начинается с мастера по пуговицам и коробки с раковинами мидий. В середине XIX века коробка каким-то образом попала в мастерскую Джона Бёппле в Оттенсене (Германия). Одни источники утверждают, что раковины добыли в реке Иллинойс и отправили Бёппле на оценку промышленной ценности. Другие связывают их с Миссисипи. Бёппле знал только, что они прибыли из места в 300 км к западу от Чикаго. Но он знал и то, чего не понимали его конкуренты: по плотнос
15.07.2026
Викинги оказались не просто «нецивилизованными варварами»: текстильная фабрика в Дании переписывает историю
Викингов часто изображают свирепыми захватчиками, готовыми уничтожить всё на пути к богатству Европы. Но новое археологическое открытие в Дании рисует более сложную картину этих мореплавателей. Исследователи обнаружили остатки крупного центра текстильного производства в Сёфтене — небольшом городке близ Орхуса, второго по величине города Дании, на полуострове Ютландия. Открытие подтверждает, что викинги были «не просто просты
13.07.2026
Парфенон снова цел: Греция восстановила западный фасад спустя 220 лет
Парфенон обрёл новое сияние. Специалисты по сохранению наследия добавили мраморные плиты к западному фронтону знаменитого храма, восстановив ключевую часть памятника. Построенный в честь богини Афины, Парфенон стоит на скалистом выступе над Афинами с V века до нашей эры.
Служба реставрации Акрополя сообщает, что новые мраморные вставки делают фронтон самым полным за последние 220 лет. За 2500 лет храм пострадал от землетрясений, военных конфликтов, загрязнения воздуха и бла
08.07.2026
Письмо Вашингтона, принявшего капитуляцию британцев в Йорктауне, впервые выставлено в Лондоне
В преддверии 250-летия Декларации независимости США в Лондоне впервые демонстрируется ключевое письмо, подписанное Джорджем Вашингтоном, в котором он принимает капитуляцию британцев в Йорктауне. Рукописное послание стало частью выставки «Революция 250: История независимости Америки 1763–1783» в Национальном архиве Лондона. Экспозиция охватывает «ключевые политические события и военные манёвры на пути к независимости» и «влияние конфликта на тех,
ПИШИТЕ
Техническая поддержка проекта ВсеТут