ИИ ПРОТИВ ПОЛА ЭРДЁША: ПАДЕНИЕ "ГИПОТЕЗЫ-90" О РАВНЫХ ОТРЕЗКАХ.

Савватеев в фонде Байтик. Наукоград Троицк. Лекция и ответы на вопросы.
Цитата:
«Читаем новости: "В мае 2026 года компания OpenAI сообщила, что ИИ решил
задачу 80-летней давности, сформулированную венгерским математиком
Полом Эрдёшем в 1946 году." Новости несколько преждевременные - на деле
поставленная задача пока ещё далека от решения. Но верно то, что ИИ улучшил
имеющиеся оценки, опровергнув интуицию Эрдёша касательно данного вопроса.
Это - первая действительно знаменитая нерешённая задача, не поддававшаяся
математикам всего мира в течение многих лет, прогресс в которой получен при
активном участии искусственного интеллекта. (Некоторые гипотезы Эрдёша
были решены с помощью ИИ и ранее, но все они имели статус скорее "забавных
загадок", нежели великих математических проблем.)
На лекции я сформулирую Гипотезу-90 на строгом математическом языке,
и мы обсудим положение дел как накануне прорыва, так и сразу после него.»