OpenAI решила задачу Пала Эрдёша, которая не поддавалась математикам 80 лет

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

Что собой представляет эта задача Проблема принадлежит области дискретной геометрии.

Её сформулировал венгерский математик Пол Эрдёш — один из самых плодовитых математиков XX века. Задача звучит обманчиво просто: представьте, что на плоскости расположено много точек, и любые две точки находятся на расстоянии ровно одна единица друг от друга. Вопрос: какое максимальное количество таких точек может существовать? Несмотря на простоту формулировки, эта задача оказалась одной из самых упрямых открытых проблем в математике. Лучшие учёные мира пытались её решить. Каждое новое улучшение в оценке числа точек требовало лет интенсивных исследований, а часто и разработки совершенно новых математических методов. За восемь десятилетий задача успела стать легендарной в математическом сообществе — символом того, как простая на вид проблема может скрывать невероятную глубину.

Как нейросеть справилась с задачей

OpenAI использовала свои передовые модели с расширенными способностями логического рассуждения. Ключевой момент: модель не просто перебирала известные математические факты и не применяла стандартные методы из учебников. Система самостоятельно сформировала новую гипотезу и провела оригинальное доказательство, которое до этого считалось выходящим за пределы способностей нейросетей.

Компания подчёркивает, что это не первый случай, когда ИИ демонстрирует такие способности. Но каждый новый пример расширяет границы того, на что способны современные модели в области абстрактного мышления: Генерация оригинальных математических доказательств Работа с формальной логикой и проверка корректности рассуждений Создание новых подходов к давно известным проблемам Самостоятельная верификация собственных логических цепочек * Решение задач, требующих глубокого абстрактного анализа ## Почему это важно для науки На академическом уровне это означает, что наконец-то решена одна из легендарных открытых проблем, которая оставалась неразрешённой восемь десятилетий. На уровне развития ИИ достижение демонстрирует фундаментальный сдвиг: современные нейросети уже способны выполнять содержательные математические рассуждения, которые ранее считались исключительной прерогативой человеческого интеллекта.

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

Что это значит для будущего Решение 80-летней задачи Эрдёша — это веха в эволюции ИИ.

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