OpenAI 20 мая 2026 года сообщил, что его внутренняя модель нашла контрпример к давнему предположению в задаче Эрдёша о единичных расстояниях. Это не «десять достижений в математике», а один конкретный и проверяемый результат, который уже обсуждают как важную веху для ИИ в чистой математике.
Для русскоязычной IT-аудитории смысл простой: модели уже двигаются от пересказа учебников к работе с задачами, где нужен длинный ход рассуждений, а ответ можно независимо проверить. Для исследовательских команд, разработчиков формальных систем и компаний, которые вкладываются в научный AI, это куда важнее очередного чат-бота с новым интерфейсом.
Что именно OpenAI подтвердил
Речь идёт о planar unit distance problem — классической задаче дискретной геометрии, которую Пауль Эрдёш сформулировал ещё в 1946 году. Вопрос звучит почти школьно: сколько пар точек на плоскости можно расположить на расстоянии ровно 1 друг от друга. Но за этой простотой скрывается почти 80 лет работы математиков.
OpenAI пишет, что внутренняя модель опровергла распространённое предположение: будто конструкции на квадратной решётке по сути близки к оптимальным. По версии компании, модель нашла бесконечное семейство примеров с полиномиальным улучшением. Проверкой результата занимались внешние математики, а сам OpenAI назвал это первым случаем, когда ИИ автономно решил заметную открытую задачу в активной математической области.
Ключевая деталь: в официальном сообщении OpenAI нет подтверждения про «десять достижений», «модель Astra», «не-софические группы» или «теорему о параллельном повторении для квантовых игр». Эти утверждения в исходном тексте не подтверждаются доступными первоисточниками и их лучше убрать, чем выдавать за факт.
Контекст исследовательской программы
Через два месяца после этой публикации, 29 июля 2026 года, Axios сообщил ещё об одном шаге OpenAI: компания открывает бесплатный доступ к продвинутым моделям для 100 000 академических исследователей до 2027 года. Программа выглядит как попытка превратить единичный громкий результат в более широкую исследовательскую экосистему.
Здесь есть важный нюанс. OpenAI не открыл «доступ для 100 000 учёных» в мае 2026 года и не называл это публично «инициативой ChatGPT для академических исследователей» в той формулировке, которая была в черновике. Корректнее говорить так: у компании есть официальный математический кейс от 20 мая 2026 года и отдельная, более поздняя программа доступа для академического сообщества, о которой стало известно 29 июля 2026 года.
Почему это важно для рынка
Если такие результаты начнут повторяться, выиграют не только университеты. Для разработчиков это сигнал, что спрос на инструменты формальной верификации, Lean-подобные системы, AI для научного поиска и вычислительные платформы под длинные цепочки рассуждений будет расти. Для России и СНГ это тоже практичная история: даже без доступа к самым дорогим западным лабораториям рынок увидит больше решений на стыке математики, автоматического доказательства и прикладной разработки.
Следующий шаг очевиден: рынку нужны не громкие формулировки про «десять прорывов», а серия воспроизводимых результатов, которые подтверждают внешние исследователи.