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

Frontier-лаборатория OpenAI сообщила о результате, способном пошатнуть один из устоев теоретической информатики: её модели, по заявлению компании, опровергли гипотезу экспоненциального времени. Разобраться в том, что это значит, TechCrunch помог компьютер-сайентист из Массачусетского технологического института — именно ему поручили задачу объяснить открытие широкой аудитории.

Суть гипотезы экспоненциального времени такова: ряд вычислительных задач, для которых не найдено быстрого алгоритма, принципиально невозможно решить быстрее, чем за экспоненциальное время. Гипотеза не доказана, но десятилетиями служила рабочим ориентиром — на неё опираются оценки нижних границ сложности и выводы о том, какие задачи «по-настоящему трудны».

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

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

Пока независимого подтверждения результата нет, осторожность уместнее энтузиазма. Но сам факт, что объяснение открытия доверили математику из MIT, показывает масштаб претензий: речь не о бенчмарке, а о базовых предположениях о том, что компьютеры могут вычислить в принципе.