Кен Оно, один из ведущих математиков современности и представитель компании Axiom Math, пересмотрел свой взгляд на искусственный интеллект. Пройдя через личный «кризис идентичности» после того, как ИИ начал решать задачи из его собственной исследовательской программы, Оно пришел к выводу: будущее не в погоне за вычислительными мощностями, а в поиске «формализованной истины». В беседе с автором канала EO он формулирует уроки выживания для человека в эпоху суперкомпьютеров.
🚜 Кризис идентичности: математик против трактора 2:13
Примерно в 2025 году Кен Оно столкнулся с тем, что он называет «экзистенциальным вызовом для математика» . В составе группы ученых он помогал компании Epoch AI разрабатывать сверхсложные задачи для тестирования больших языковых моделей (LLM). Оно ожидал, что это будут «легкие деньги», но реальность его напугала: модели не просто выдавали ответы, их цепочки рассуждений демонстрировали пугающий прогресс .
По мнению Кена Оно, это состояние напоминает чувства батрака в конце XIX века, который впервые видит трактор с двигателем внутреннего сгорания и понимает, что его ручной труд больше не имеет будущего . Ученый признается, что видеть, как ИИ решает задачи из его собственной научной программы, было «разрушительно» .
Основные выводы Оно из этого кризиса:
- Масштаб изменений: если прошлые технологии (колесо, двигатель, лифт) облегчали физический труд, то ИИ автоматизирует ментальный труд, который является основой личности интеллектуала .
- Проблема образования: студенты, годами изучавшие «ремесло» и методы решения задач, теперь обнаруживают, что любой человек с доступом к LLM может сделать то же самое за секунды .
- Переоценка ценностей: Оно считает, что его былая гордость за накопленные годами техники решения задач была «пустой», так как эти процессы оказались автоматизируемыми .
🤖 Три лика ИИ: от чат-ботов до формализации 14:04
Кен Оно утверждает, что большинство людей совершают ошибку, воспринимая ИИ как нечто единое. Он выделяет три четкие формы ИИ, которые имеют разное значение для человечества:
- Чат-боты (типа ChatGPT): по мнению гостя, это «невероятные библиотекари», которые прочли всё на свете, но их нельзя пускать в операционную к нейрохирургу .
- Сверхчеловеческий поиск: использование машинного обучения для задач, которые человек никогда не смог бы выполнить вручную из-за объема данных. Примером служит работа Джона Джампера и Демиса Хассабиса, получивших Нобелевскую премию за решение проблемы сворачивания белка .
- Формализация: перевод естественного человеческого языка в верифицируемый компьютерный код .
Именно в формализации Оно видит будущее. Проблема современного программирования, по его словам, заключается в «вайб-кодинге» (vibe coding) — создании кода, который кажется рабочим, но не является идеальным или безопасным . Формализация позволяет ИИ искать уязвимости и гарантировать истинность утверждений.
⚖️ Гонка за истиной: 2026 год как рубеж 15:58
По мнению Кена Оно, 2026 год должен стать не «гонкой за вычислительными мощностями» (compute), а «гонкой за истиной» . В рамках работы в Axiom Math и сотрудничества с экономистом из Гарварда Скоттом Коминерсом, Оно занимается формализацией фундаментальных теорий .
Ярким примером стала работа над теоремой Нобелевского лауреата Роберта Ауманна «Согласие на несогласие» (Agree to Disagree), 50-летие которой отмечается в 2026 году .
- Суть теоремы: если две стороны обладают одинаковыми базовыми знаниями и понимают логику друг друга, они не могут просто «остаться при своем мнении» — их взгляды должны сойтись .
- Роль ИИ: при формализации этой теоремы выяснилось, что многие её интерпретации в экономике были неточными из-за тонкостей в определениях базовых знаний .
Кен Оно призывает студентов-математиков начинать заниматься формализацией уже сейчас, так как это обеспечит безопасность систем и новые рабочие места в сфере кибербезопасности, этики и права .
🏆 Токсичность бенчмарков и уроки пятого класса 31:46
Кен Оно критикует современную одержимость показателями: рейтингами университетов, тестами IQ и лидербордами LLM . Он считает этот подход «токсичным», так как он заставляет людей жить по чужим стандартам .
Личная история Кена Оно о «провале»:
- В пятом классе он занял третье место в математическом конкурсе. Будучи сыном выдающегося математика, он воспринял это как позор .
- В течение 50 лет он считал, что разочаровал родителей.
- Только после смерти отца в январе, разбирая его вещи, Кен нашел ту самую табличку за третье место в шкафу. Оказалось, отец хранил её все эти годы .
По мнению Оно, если вы постоянно сравниваете себя с Леброном Джеймсом, Рафаэлем Надалем или Нобелевскими лауреатами, вы гарантированно проиграете и не дадите себе разрешения прожить «свою собственную жизнь» .
🎸 Как найти таланты, которые не проходят по критериям 21:13
Современные системы найма, основанные на алгоритмах и «галочках» в резюме, вызывают у Кена Оно глубокое неприятие . Он уверен, что по-настоящему великие открытия не делаются людьми, которые просто соответствуют списку требований .
В качестве примера Оно приводит своего студента Роберта Шнайдера:
- Шнайдер был известным рок-музыкантом (лидер группы Apples in Stereo и продюсер Neutral Milk Hotel) .
- Он бросил колледж, но вернулся в науку после того, как столкнулся с необходимостью чинить старое музыкальное оборудование и открыл для себя закон Ома .
- Оно принял его в аспирантуру не из-за оценок, а из-за уникального творческого взгляда на математику как на музыку .
Кен Оно считает, что университеты и родители совершают ошибку, заставляя детей следовать «рецепту успеха» (правильная школа -> правильные оценки -> правильный диплом), называя это «бессмысленным способом проживания жизни» .
🚶 Сохранение человечности в цифровом мире 27:45
Исследователь признается, что у него самого сложились своего рода «отношения» с ИИ-моделями, с которыми он работает . Однако он предостерегает от чрезмерного увлечения общением с чат-ботами.
Критическое наблюдение из поездки в Сеул:
- Проезжая через район Каннам (Gangnam), Оно заметил, что около 70% людей на улице идут, уткнувшись в телефоны .
- По мнению Оно, это «ненормально» (messed up), так как люди упускают возможность увидеть нечто прекрасное или встретить нового друга .
Совет от математика: если вы поймали себя на том, что общаетесь с чат-ботом как с реальным человеком — остановитесь, отложите телефон и идите на долгую прогулку . ИИ может находить паттерны и компилировать знания человечества, но Оно сомневается, что он способен на по-настоящему новые идеи, подобные работам Пикассо .
