Языковые модели решают задачи в криптографии

Совсем недавно мы стали свидетелями того, как языковые модели справляются с задачами, над которыми ученые трудились годами. На этот раз Claude Code от компании Anthropic решил проблему, связанную с реализацией постквантового алгоритма. Инженер, работающий с языком Go, столкнулся с ошибками в виде «недействительной подписи» и начал стандартный процесс отладки, который включал долгие часы, кофе и отчаяние. В итоге Filippo, автор кода, решил привлечь Claude для анализа ситуации. Всего через несколько минут модель указала на ошибку: «Ты дважды взял высокие биты». И действительно, Claude выявил проблему быстрее, чем мог бы человек. Интересно, что модель действовала, как живой разработчик: добавляла printf, запускала тесты и искала закономерности. В заключение Filippo предложил идею создания инструмента, который автоматически бы задействовал LLM при падении тестов, сообщая о причинах ошибок. Такой подход кажется более практичным, чем традиционные методы решения задач.