ИИ самостоятельно решил задачу Эрдёша, решение одобрено математиками

Модель искусственного интеллекта (ИИ) решила математическую задачу, над которой бились 80 лет. Задача о плоских единичных расстояниях, впервые поставленная венгерским математиком Полом Эрдёшем в 1946 году, задаёт, казалось бы, простой вопрос: если разместить n точек на плоскости, сколько пар точек могут находиться на расстоянии ровно 1? Эрдёш утверждал, что это число будет расти чуть быстрее, чем количество точек.

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

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

«Это доказательство является важной вехой для сообществ математиков и специалистов по ИИ. Впервые известная открытая проблема, занимающая центральное место в одной из областей математики, была решена ИИ автономно», — написали представители компании в посте.

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

«Эти идеи были хорошо известны специалистам по алгебраической теории чисел, но то, что эти концепции имеют отношение к геометрическим задачам, стало большим сюрпризом», — добавили представители OpenAI в своём посте.

OpenAI заявила, что этот результат стал первым случаем, когда ИИ самостоятельно решил нерешённую задачу в данной