В современном мире технологии искусственного интеллекта (ИИ), особенно крупные языковые модели (LLM), стремительно ворвались во все сферы деятельности человека, включая программирование. Сегодня мы всё чаще слышим мнение, что ИИ в ближайшем будущем полностью заменит программистов. Однако история, которую рассказал antirez, создатель знаменитого Redis, ясно показывает, что человеческая креативность и нестандартное мышление всё ещё имеют значительное преимущество над даже самыми продвинутыми моделями, такими как Gemini 2.5 PRO.
🔍 Суть проблемы: проверка взаимности ссылок в графе
Разрабатывая новую функцию Vector Sets для Redis, antirez столкнулся с непростой задачей:
необходимо было проверить, что в графе ссылок между узлами все ссылки взаимны. Простое решение, где каждый узел проверяет все соседние узлы на наличие обратной ссылки, оказалось крайне медленным и неэффективным (сложность O(N²)). Например, загрузка 20 миллионов векторов вместо 45 секунд занимала около 90 секунд — слишком долго для производительного решения.
🚀 Первый подход: Чего добился Gemini?
Обратившись за помощью к ИИ-модели Gemini 2.5 PRO, автор хотел получить совет по оптимизации.
Gemini предложил сортировать массивы указателей и использовать бинарный поиск для ускорения проверки. Решение логичное, но не самое творческое и к тому же не гарантирующее радикального ускорения при небольшом числе указателей (16–32). Других альтернатив модель предложить не смогла.
💡 Второй подход: XOR и накопитель
Тогда antirez сам предложил более хитрый подход:
- 📥 Создать специальный накопитель: каждая ссылка представляется комбинацией (A:B:X), где A и B — идентификаторы узлов, а X — уровень связи.
- 🎯 Эти данные складываются через операцию XOR в специальный накопитель (фиксированного размера 12 байт).
- 🔄 Если одна и та же ссылка встречается дважды (взаимная связь), то при повторном XOR её биты обнуляются. Если в конце накопитель не нулевой — значит есть нарушение взаимности ссылок.
Это решение оказалось значительно эффективнее и проще в реализации.
🚧 Проблема с XOR: Возможность коллизий
Однако автор сразу осознал потенциальную слабость XOR-подхода — вероятность коллизий. Gemini подтвердил его опасения: адреса в памяти имеют схожую структуру, и вероятность совпадения XOR для разных ссылок достаточно велика. Плюс, такая схема могла бы стать потенциальной уязвимостью безопасности.
🔐 Третий подход: murmur-128 и случайные «семена»
И здесь человеческое мышление вновь оказалось на высоте:
antirez придумал использовать быстрый и качественный хеш-функцию murmur-128:
- 🎲 Вводится случайное семя S (генерируется через /dev/urandom).
- 🔢 Каждая ссылка преобразуется в хеш-значение через murmur-128: murmur-128(S:A:B:X).
- 🌀 Затем эти значения складываются через XOR в 128-битный регистр.
Gemini согласился, что это решение значительно снижает риск коллизий, а также делает невозможным целенаправленную атаку извне, поскольку случайное семя S неизвестно атакующему.
🌟 Итоговый вывод автора
Эта история демонстрирует, что несмотря на широкое внедрение и очевидную пользу от ИИ и языковых моделей, люди всё ещё обладают преимуществом в решении сложных и нетривиальных задач благодаря творческому и нестандартному подходу. ИИ полезен как инструмент для быстрой проверки и валидации гипотез, но для радикальных инноваций и необычных решений по-прежнему требуется человеческая интуиция.
💬 Личное мнение
Эта история прекрасно иллюстрирует текущую стадию развития ИИ:
- 🤖 ИИ хорош в типовых задачах и способен улучшать существующие решения.
- 🧑💻 Люди сильны в нестандартных решениях, интуитивных догадках и абстрактном мышлении.
Антирезу удалось найти инновационное и надёжное решение, потому что он мог мыслить «вне коробки», а не только использовать статистически типичные методы решения задач, как делают современные языковые модели.
В будущем, скорее всего, идеальным сценарием станет не замена программистов на ИИ, а совместная работа, где человек генерирует идеи, а искусственный интеллект помогает их проверять, оптимизировать и реализовывать.
🔗 Полезные ссылки и материалы по теме:
Эта история — отличное напоминание о том, что несмотря на развитие технологий, ключевым фактором успеха остаётся человек и его способность находить неожиданные и нестандартные решения.