Claude самостоятельно обнаружил алгоритм, опровергающий гипотезу экспоненциального времени Исследовательская модель Claude внутри Anthropic, без человеческого руководства, независимо открыла новый алгоритм, способный решать задачу 3-SAT быстрее, чем считалось возможным согласно прежним теоретическим представлениям. Задача 3-SAT — это классическая проблема определения, можно ли одновременно удовлетворить набор логических условий. Долгое время исследователи полагали, что такие задачи невозможно значительно ускорить — именно это и составляет гипотезу экспоненциального времени. Если новый алгоритм подтвердится, это означает, что данная гипотеза неверна. Этот случай демонстрирует, что искусственный интеллект теперь способен самостоятельно разрабатывать важные алгоритмы и предоставлять проверяемые доказательства по фундаментальным проблемам теоретической информатики. Если результаты выдержат проверку, это изменит долгосрочное понимание сложности некоторых вычислительных задач. В настоящее время статья и доказательства опубликованы для дальнейшей верификации. Весь процесс показывает, что модель способна самостоятельно осуществлять высококлассные теоретические открытия, однако финальная доработка все еще требует участия человека.