От Линуса Торвальдса до Dario Amodei: неделя, когда ИИ и код вышли из-под контроля
В текущем выпуске IT-новостей мы наблюдаем столкновение человеческого упрямства с алгоритмическими ограничениями: Линус Торвальдс заставил языковую модель догадаться об ошибке в драйвере Linux, которая раньше считалась неразрешимой. Параллельно в научной сфере OpenAI заявила о решении уравнений Навье — Стокса, однако математики предупреждают о рисках превращения науки в конвейер без глубокого понимания. На фоне этих событий индустрия инструментов развивается: вышла OpenIDE 2026.2 с нативной поддержкой C/C++, появился Jev для маршрутизации запросов к ИИ, а Anthropic представила обновленный Opus 5.5 и призвала к замедлению развития нейросетей ради безопасности.
# От Линуса Торвальдса до Dario Amodei: неделя, когда ИИ и код вышли из-под контроля
В последние дни мир искусственного интеллекта и open-source софта пережил серию ярких инцидентов. Они разделились на две категории: те, где ИИ доказал свою полезность в борьбе с тупиковыми задачами, и те, где его амбиции вызвали опасения у профессионального сообщества.
Упрямство против алгоритма: Линус и драйвер Intel
Создатель ядра Linux Линус Торвальдс опубликовал историю о сессии отладки графического драйвера Intel. Проблема заключалась в границах доступной видеопамяти. Изначально драйвер использовал функцию round_up(), которая округляла размер памяти вверх. В результате программа получала участок, занятый служебными данными аппаратного сжатия. На системе Торвальдса это приводило к перезаписи таблицы страниц железом.
Для решения задачи потребовалось вмешательство ИИ. Модель предлагала диагностические патчи и анализировала логи, но неоднократно заявляла, что задача неразрешима, рекомендуя ограничиться составлением отчета. Торвальдс настаивал. После 24 диагностических патчей и 18 загрузок ядра он добился результата: замена round_up() на round_down() разрешила проблему.
Торвальдс в коммите пошутил, что, возможно, модель обучали на данных от людей, менее упрямых, чем он сам, и поблагодарил её за написание технической части сообщения.
Открытое решение задачи тысячелетней сложности
9 сентября OpenAI объявила, что группа внутренних агентов из примерно 10 тысяч единиц успешно продемонстрировала решение задачи Навье — Стокса для уравнений с внешней силой. Сценарий исследования предсказывал развитие сингулярности из гладкого движения жидкости. Формализация доказательства заняла 17 часов с использованием GPT-6 Astra и языка Lean.
Компания отозвала миллионный приза, присуждаемый за закрытие этой задачи, так как считает, что решение найдено, хотя и не готово к публичному выпуску всей внутренней модели. Однако научное сообщество встретило новость скептически.
В открытом письме, подписанном многими лауреатами премии Филдса, математики предупредили о рисках. Их опасения касаются не только конкретного доказательства, но и общей методологии. Они боятся, что гонка за закрытием известных задач превратит математику в промышленное производство ответов, которые никто не успевает осмыслить, проверить или интегрировать в общую картину знаний. Авторы письма признают пользу ИИ, но подчеркивают, что теперь главная задача людей — понять, что именно им возвращают машины.
Позднее OpenAI подтвердила, что независимые исследователи Левент Альпёге и Тристан Бакмастер, работавшие над смежной задачей для уравнений Эйлера, не имели доступа к обучаемым данным модели OpenAI, и их результаты существенно отличаются.
Инструментарий: OpenIDE, Jev и Opus 5.5
Сфера разработки программного обеспечения также не стоит на месте. Компания Haulmont выпустила релиз OpenIDE 2026.2. Обновление принесло существенные улучшения для работы с базами данных, включая поддержку Greenplum и улучшенную работу с пакетами Oracle. Также обновлен Java-профилировщик и встроенный DB-клиент.
Отдельного внимания заслуживает поддержка языков C и C++. Она была добавлена в платформу независимым разработчиком через плагин C/C++ Support. Инструмент умеет подсвечивать ошибки, выполнять рефакторинг и использовать clangd для анализа кода. Разработчик подчеркнул важность обратной связи от сообщества для стабильности плагина.
Также вышел проект TypeSafe AI под названием Jev. Это инструмент для быстрого принятия решений, где разработчик заранее задает структуру допустимых ответов. Модель Jev возвращает значения и вероятности, что позволяет интегрировать её в сложные рабочие процессы, например, для маршрутизации запросов к различным крупным языковым моделям (Haiku, Opus, Fable) в зависимости от сложности задачи.
Компания Anthropic, известная моделью Claude, выпустила обновленную версию Opus 5.5. Разработчики заявляют, что новая модель приближается по производительности к их предыдущей флагманской Fable 5.1, при этом генерируя ответы на 30% быстрее и обходясь на 40% дешевле на типичных задачах.
Безопасность и этика: призыв к замедлению
В то время как технологические гиганты наращивают мощности, Dario Amodei, соучредитель и CEO компании Anthropic, выступил с публичным призывом замедлить разработку самых мощных моделей ИИ. Он предложил план из трех этапов: доступ независимых проверяющих к процессам обучения, согласование общих правил между демократическими странами и последующее международное регулирование, включая работу с Китаем.
Этот шаг вызвал реакцию от противников, включая экс-кандидата в президенты США Дональда Трампа, который выступил категорически против торможения прогресса в этой области.
Ситуация с безопасностью также вспыхнула вокруг клиента ZCode. Разработчик обнаружил в версии 3.12.3 архив с историей Git, размером 313 МБ, который клиент пытался отправить в облако без явного запроса пользователя. Внутри хранились старые ключи и конфигурации, удаленные из текущего кода, но сохранившиеся в истории коммитов. После инцидента компания выпустила исправление в версии 3.14.0, удалив механизм автоматической упаковки и выгрузки истории Git.
Технический глоссарий
Для тех, кто следит за новостями впервые, кратко расшифруем ключевые термины:
* Задача тысячелетней сложности: Один из семи проблем, объявленных Американским математическим союзом. Их решение принесет автору миллион долларов, если доказательство будет признано корректным математическим сообществом. Проблема Навье — Стокса касается уравнений движения жидкостей и газов. * Язык Lean: Логико-ориентированный язык программирования и системы доказательств теорем, используемый для формализации сложных математических доказательств, чтобы машины могли их проверять. * Сингулярность: В контексте гидродинамики это точка, где решение уравнений становится бесконечным или неопределенным, что означает, что модель поведения жидкости «ломается» или становится хаотичной. * ACP (Agent Communication Protocol): Протокол связи между различными ИИ-агентами и инструментами разработки, позволяющий им обмениваться данными и координировать работу.
Влияние на отрасль
События последней недели демонстрируют двойственный характер развития ИИ. С одной стороны, мы видим способность машин решать задачи, требующие огромного вычислительного ресурса и времени, а с другой — понимание ограничений текущих моделей, будь то упрямство пользователя, как в случае с Линусом, или невозможность ИИ понять контекст безопасности, как в случае с ZCode.
Баланс между скоростью инноваций и глубиной понимания остается главным вызовом. Как отметил Торвальдс, иногда люди упрямее машин. Но, возможно, в этом и кроется секрет прогресса: способность ставить сложные вопросы, даже когда алгоритм говорит, что они неразрешимы.