Конец эры монополии: CERN уходит от IBM
Европейская организация по ядерным исследованиям (CERN) официально объявила о прекращении сотрудничества с IBM. Это решение стало поворотным моментом в стратегии управления данными и вычислительными мощностями крупнейшей в мире физики элементарных частиц лаборатории. Отказ от услуг IBM означает, что CERN больше не позволит вендору диктовать условия развития своей инфраструктуры, стремясь к большей независимости и гибкости в выборе технологических решений.
ИИ против великой проблемы тысячелетия
Параллельно в мире искусственного интеллекта произошел инцидент, ярко демонстрирующий текущие границы возможностей автономных систем. Группа исследователей попыталась использовать 10 000 ИИ-агентов для решения одной из самых сложных математических задач — доказательства гипотезы Навье-Стокса, описывающей движение вязких жидкостей. Несмотря на колоссальные вычислительные ресурсы, «рой» агентов не смог прийти к решению самостоятельно.
Роль человека и верификатора Lean
Ключевым фактором успеха стало не количество агентов, а человеческий интеллект. Математик предоставил ИИ необходимую интуицию и направление, а финальная проверка корректности рассуждений была доверена формальному верификатору Lean. Этот случай подчеркивает, что современные LLM и агенты пока не обладают способностью к самостоятельному логическому выводу в сложных теоретических задачах без жесткого человеческого контроля и формальной верификации.
Сравнение подходов: Автономия vs. Контроль
События в CERN и с ИИ-агентами рисуют общую картину: отказ от слепого доверия крупным вендорам и алгоритмам. Ниже приведена сравнительная таблица двух ключевых событий, влияющих на технологический ландшафт:
| Критерий | Ситуация в CERN | Ситуация с ИИ-агентами |
|---|---|---|
| Объект | Инфраструктура данных | Математическое доказательство |
| Действие | Разрыв отношений с IBM | Провал 10 000 агентов без человека |
| Причина | Отказ от диктата вендора | Отсутствие у ИИ математической интуиции |
| Результат | Путь к технологическому суверенитету | Необходимость Lean-верификации и участия человека |
Почему это важно
Эти два события, хотя и касаются разных сфер, указывают на тренд на «возвращение к истокам» и критическую переоценку зависимости от внешних технологий. CERN показывает, что даже гиганты индустрии могут и должны пересматривать свои партнерства, а история с Навье-Стоксом доказывает, что ИИ пока остается мощным инструментом-ассистентом, а не самостоятельным исследователем. Будущее лежит в гибридных моделях, где человеческая интуиция и формальная логика дополняют вычислительную мощь машин.
Источник: Towards AI pub ↗