# Математик Кен Оно: «2026 год должен стать гонкой за истиной, а не за мощностью процессоров» Источник: https://www.youtube.com/watch?v=MG0CPqjjOvk Канал: EO Опубликовано: 20.07.2026 --- Кен Оно, один из ведущих математиков современности и представитель компании Axiom Math, пересмотрел свой взгляд на искусственный интеллект. Пройдя через личный «кризис идентичности» после того, как ИИ начал решать задачи из его собственной исследовательской программы, Оно пришел к выводу: будущее не в погоне за вычислительными мощностями, а в поиске «формализованной истины». В беседе с автором канала EO он формулирует уроки выживания для человека в эпоху суперкомпьютеров. ## 🚜 Кризис идентичности: математик против трактора [[JUMP:02:13]] Примерно в 2025 году Кен Оно столкнулся с тем, что он называет «экзистенциальным вызовом для математика» [02:23]. В составе группы ученых он помогал компании **Epoch AI** разрабатывать сверхсложные задачи для тестирования больших языковых моделей (LLM). Оно ожидал, что это будут «легкие деньги», но реальность его напугала: модели не просто выдавали ответы, их цепочки рассуждений демонстрировали пугающий прогресс [02:50]. По мнению Кена Оно, это состояние напоминает чувства батрака в конце XIX века, который впервые видит трактор с двигателем внутреннего сгорания и понимает, что его ручной труд больше не имеет будущего [03:04]. Ученый признается, что видеть, как ИИ решает задачи из его собственной научной программы, было «разрушительно» [03:17]. Основные выводы Оно из этого кризиса: * Масштаб изменений: если прошлые технологии (колесо, двигатель, лифт) облегчали физический труд, то ИИ автоматизирует ментальный труд, который является основой личности интеллектуала [03:58]. * Проблема образования: студенты, годами изучавшие «ремесло» и методы решения задач, теперь обнаруживают, что любой человек с доступом к LLM может сделать то же самое за секунды [04:37]. * Переоценка ценностей: Оно считает, что его былая гордость за накопленные годами техники решения задач была «пустой», так как эти процессы оказались автоматизируемыми [05:22]. ## 🤖 Три лика ИИ: от чат-ботов до формализации [[JUMP:14:04]] Кен Оно утверждает, что большинство людей совершают ошибку, воспринимая ИИ как нечто единое. Он выделяет три четкие формы ИИ, которые имеют разное значение для человечества: 1. **Чат-боты (типа ChatGPT):** по мнению гостя, это «невероятные библиотекари», которые прочли всё на свете, но их нельзя пускать в операционную к нейрохирургу [18:22]. 2. **Сверхчеловеческий поиск:** использование машинного обучения для задач, которые человек никогда не смог бы выполнить вручную из-за объема данных. Примером служит работа **Джона Джампера** и **Демиса Хассабиса**, получивших Нобелевскую премию за решение проблемы сворачивания белка [14:39]. 3. **Формализация:** перевод естественного человеческого языка в верифицируемый компьютерный код [14:53]. Именно в формализации Оно видит будущее. Проблема современного программирования, по его словам, заключается в «вайб-кодинге» (vibe coding) — создании кода, который кажется рабочим, но не является идеальным или безопасным [15:19]. Формализация позволяет ИИ искать уязвимости и гарантировать истинность утверждений. ## ⚖️ Гонка за истиной: 2026 год как рубеж [[JUMP:15:58]] По мнению Кена Оно, 2026 год должен стать не «гонкой за вычислительными мощностями» (compute), а «гонкой за истиной» [19:16]. В рамках работы в **Axiom Math** и сотрудничества с экономистом из Гарварда **Скоттом Коминерсом**, Оно занимается формализацией фундаментальных теорий [15:44]. Ярким примером стала работа над теоремой Нобелевского лауреата **Роберта Ауманна** «Согласие на несогласие» (Agree to Disagree), 50-летие которой отмечается в 2026 году [16:13]. * Суть теоремы: если две стороны обладают одинаковыми базовыми знаниями и понимают логику друг друга, они не могут просто «остаться при своем мнении» — их взгляды должны сойтись [17:02]. * Роль ИИ: при формализации этой теоремы выяснилось, что многие её интерпретации в экономике были неточными из-за тонкостей в определениях базовых знаний [17:17]. Кен Оно призывает студентов-математиков начинать заниматься формализацией уже сейчас, так как это обеспечит безопасность систем и новые рабочие места в сфере кибербезопасности, этики и права [17:42]. ## 🏆 Токсичность бенчмарков и уроки пятого класса [[JUMP:31:46]] Кен Оно критикует современную одержимость показателями: рейтингами университетов, тестами IQ и лидербордами LLM [13:04]. Он считает этот подход «токсичным», так как он заставляет людей жить по чужим стандартам [01:32]. Личная история Кена Оно о «провале»: * В пятом классе он занял третье место в математическом конкурсе. Будучи сыном выдающегося математика, он воспринял это как позор [00:12]. * В течение 50 лет он считал, что разочаровал родителей. * Только после смерти отца в январе, разбирая его вещи, Кен нашел ту самую табличку за третье место в шкафу. Оказалось, отец хранил её все эти годы [34:10]. По мнению Оно, если вы постоянно сравниваете себя с **Леброном Джеймсом**, Рафаэлем Надалем или Нобелевскими лауреатами, вы гарантированно проиграете и не дадите себе разрешения прожить «свою собственную жизнь» [01:46]. ## 🎸 Как найти таланты, которые не проходят по критериям [[JUMP:21:13]] Современные системы найма, основанные на алгоритмах и «галочках» в резюме, вызывают у Кена Оно глубокое неприятие [21:37]. Он уверен, что по-настоящему великие открытия не делаются людьми, которые просто соответствуют списку требований [22:58]. В качестве примера Оно приводит своего студента **Роберта Шнайдера**: * Шнайдер был известным рок-музыкантом (лидер группы **Apples in Stereo** и продюсер **Neutral Milk Hotel**) [24:02]. * Он бросил колледж, но вернулся в науку после того, как столкнулся с необходимостью чинить старое музыкальное оборудование и открыл для себя закон Ома [24:40]. * Оно принял его в аспирантуру не из-за оценок, а из-за уникального творческого взгляда на математику как на музыку [25:36]. Кен Оно считает, что университеты и родители совершают ошибку, заставляя детей следовать «рецепту успеха» (правильная школа -> правильные оценки -> правильный диплом), называя это «бессмысленным способом проживания жизни» [27:08]. ## 🚶 Сохранение человечности в цифровом мире [[JUMP:27:45]] Исследователь признается, что у него самого сложились своего рода «отношения» с ИИ-моделями, с которыми он работает [28:06]. Однако он предостерегает от чрезмерного увлечения общением с чат-ботами. Критическое наблюдение из поездки в Сеул: * Проезжая через район Каннам (Gangnam), Оно заметил, что около 70% людей на улице идут, уткнувшись в телефоны [28:44]. * По мнению Оно, это «ненормально» (messed up), так как люди упускают возможность увидеть нечто прекрасное или встретить нового друга [28:57]. Совет от математика: если вы поймали себя на том, что общаетесь с чат-ботом как с реальным человеком — остановитесь, отложите телефон и идите на долгую прогулку [29:12]. ИИ может находить паттерны и компилировать знания человечества, но Оно сомневается, что он способен на по-настоящему новые идеи, подобные работам Пикассо [31:36].