Если бы белок перебирал все возможные конформации случайным образом, ему потребовалось бы время, превышающее возраст Вселенной, чтобы найти свою нативную структуру — однако в реальности сворачивание занимает от микросекунд до нескольких секунд.
История возникновения парадокса
В 1969 году американский биофизик Кирилл Левинталь выступил с докладом, который перевернул представление биохимиков о том, как работает один из самых фундаментальных процессов жизни — фолдинг белка. Левинталь не публиковал свои размышления в виде классической научной статьи. Парадокс был сформулирован в коротком тексте, приложенном к материалам конференции по мёссбауэровской спектроскопии в биологических системах, проходившей в Университете Иллинойса. Этот текст занимал всего пару абзацев, но его последствия оказались колоссальными.
Левинталь был не просто теоретиком. Он руководил одной из первых лабораторий, где использовались компьютеры для моделирования молекулярных структур. Именно опыт работы с вычислительными машинами подтолкнул его к простому, но разрушительному расчету: а что, если белок действительно ищет свою структуру вслепую?
| Параметр | Детали |
|---|---|
| Автор парадокса | Кирилл (Сайрус) Левинталь (Cyrus Levinthal) |
| Год формулировки | 1969 |
| Контекст | Конференция по мёссбауэровской спектроскопии, Университет Иллинойса (Аллертон-Хаус) |
| Область науки | Биофизика, молекулярная биология, биохимия |
| Предшествующие работы | Эксперимент Кристиана Анфинсена (1961) по ренатурации рибонуклеазы, показавший, что информация о структуре закодирована в аминокислотной последовательности |
| Ключевая предпосылка | Термодинамическая гипотеза Анфинсена — белок самопроизвольно принимает конформацию с минимальной свободной энергией |
Важно понимать контекст. За восемь лет до Левинталя Кристиан Анфинсен провел знаменитый эксперимент: он денатурировал фермент рибонуклеазу (разрушил его пространственную структуру), а затем показал, что белок самостоятельно восстанавливает свою активную форму. Вывод Анфинсена был элегантен — вся информация о трехмерной структуре белка зашита в его аминокислотной последовательности. Белок «знает», как свернуться. Но Левинталь задал неудобный вопрос: если белок просто скатывается к энергетическому минимуму, перебирая варианты, — как он это делает за разумное время?
В чем именно заключается противоречие
Представьте себе цепочку из 100 аминокислот — это маленький белок. Каждая аминокислота в цепи связана с соседними пептидной связью, и вокруг этой связи возможно вращение. Если упростить картину и допустить, что каждый аминокислотный остаток может принимать хотя бы 3 различных конформационных состояния (на самом деле больше), то общее число возможных конформаций составит:
3100 ≈ 5 × 1047
Это число настолько огромно, что его невозможно осмыслить интуитивно. Но попробуем. Допустим, белок «пробует» новую конформацию каждую пикосекунду (10-12 секунды) — это примерно соответствует времени одного молекулярного колебания. Тогда для полного перебора всех вариантов ему потребуется:
5 × 1047 × 10-12 секунд = 5 × 1035 секунд ≈ 1,6 × 1028 лет
Для сравнения: возраст Вселенной — около 1,4 × 1010 лет. Белку понадобилось бы в квинтиллион раз больше времени, чем существует Вселенная, чтобы найти свою нативную структуру случайным перебором. А между тем реальные белки сворачиваются за время от микросекунд до минут.
Мысленный эксперимент: представьте, что вам нужно собрать кубик Рубика, но вы не видите цвета граней и не знаете ни одного алгоритма. Вы просто случайно крутите стороны. У стандартного кубика Рубика примерно 4,3 × 1019 возможных состояний. Делая одно случайное вращение в секунду, вы будете крутить его в среднем 1,36 триллиона лет. А теперь представьте, что возможных состояний не 1019, а 1047. Именно с такой задачей «справляется» белок — и решает ее за доли секунды. Как?
Противоречие можно сформулировать в двух тезисах, которые не могут быть верны одновременно:
- Тезис 1: Белок находит свою нативную (функциональную) структуру путем случайного перебора конформаций, двигаясь к глобальному минимуму свободной энергии.
- Тезис 2: Белок сворачивается за биологически разумное время — от микросекунд до секунд.
Если принять тезис 1, то тезис 2 невозможен. Если тезис 2 — экспериментальный факт (а это так), то тезис 1 ложен. Значит, белок не перебирает все варианты. Значит, существует какой-то механизм, который радикально сужает пространство поиска. Но какой?
Попытки решения
Парадокс Левинталя стал одним из главных двигателей целой области науки — исследования фолдинга белка. За полвека были предложены десятки гипотез, моделей и теорий. Некоторые из них конкурируют друг с другом, другие оказались взаимодополняющими.
Модель пути сворачивания (pathway model)
Сам Левинталь предположил, что белок не перебирает все состояния, а движется по определенному «пути» — последовательности промежуточных структур, каждая из которых ведет к следующей. Это напоминает не блуждание по лабиринту вслепую, а следование по коридору с указателями. Идея была простой: сначала формируются локальные элементы вторичной структуры (альфа-спирали, бета-листы), затем они взаимодействуют друг с другом, образуя третичную структуру.
Модель «воронки энергетического ландшафта» (energy landscape / funnel model)
В 1990-х годах Джозеф Бринкманн, Питер Уолинс, Кен Дилл и особенно Хосе Ньельсон Онучич вместе с Петером Волинесом (Peter Wolynes) предложили радикально иной взгляд. Они отказались от идеи единственного «пути» и описали сворачивание белка как движение по многомерному энергетическому ландшафту, имеющему форму воронки. Эта модель, разработанная преимущественно группой Волинеса, Онучича и Брикманна в середине 1990-х, стала доминирующей.
Ключевая идея: энергетический ландшафт белка не плоский, а имеет форму воронки, в которой множество различных конформаций на «краю» (развернутый белок) постепенно сходятся к узкому «горлышку» (нативная структура). Белку не нужно искать единственный путь — практически любое направление ведет вниз, к нативному состоянию, подобно тому как капля воды на стенке воронки неизбежно стекает к центру.
| Модель / Гипотеза | Авторы | Период | Суть |
|---|---|---|---|
| Модель пути (pathway model) | Кирилл Левинталь | 1969 | Белок следует определенному маршруту через серию промежуточных состояний |
| Модель нуклеации-конденсации | Алан Фершт и др. | 1990-е | Сначала формируется небольшое ядро правильной структуры, которое затем «затягивает» остальную цепь |
| Модель каркаса (framework model) | Птицын, Ким, Болдуин | 1970-80-е | Сначала формируются элементы вторичной структуры, затем они собираются в третичную |
| Модель гидрофобного коллапса | Кен Дилл и др. | 1980-е | Быстрый коллапс цепи из-за гидрофобного эффекта резко сужает пространство конформаций |
| Модель энергетической воронки (funnel model) | Волинес, Онучич, Брикманн | 1990-е | Энергетический ландшафт имеет форму воронки; множество путей ведет к нативному состоянию |
| Диффузия-столкновение (diffusion-collision) | Мартин Карплюс | 1976, развитие в 1990-е | Независимо сформированные микродомены диффундируют и сталкиваются, образуя стабильную структуру |
Работы Алана Фершта
Британский биохимик Алан Фершт (Alan Fersht) в 1990-х годах разработал экспериментальный метод анализа переходных состояний белка — так называемый «phi-value analysis» (анализ φ-значений). Метод позволил экспериментально определить, какие части белка формируют структуру раньше других. Фершт показал, что для многих маленьких белков сворачивание происходит по механизму нуклеации-конденсации: сначала в цепи одновременно возникают зародыши (ядра) локальной и нелокальной структуры, а затем вокруг этих ядер быстро конденсируется остальная молекула.
Вычислительные подходы: от молекулярной динамики до AlphaFold
Параллельно с теоретическими моделями развивались вычислительные методы. В 1998 году группа Виджая Панде (Vijay Pande) из Стэнфордского университета запустила проект Folding@home — распределенную вычислительную сеть, использующую мощности персональных компьютеров добровольцев по всему миру для моделирования фолдинга. В 2010 году Дэвид Шоу (D. E. Shaw Research) провел рекордное на тот момент моделирование — сворачивание маленького белка вилина за миллисекунды реального времени на специализированном суперкомпьютере Anton.
А в 2020 году компания DeepMind представила AlphaFold2 — систему на основе глубокого обучения, которая предсказывает трехмерную структуру белка по его аминокислотной последовательности с точностью, близкой к экспериментальной. Это не решает парадокс Левинталя напрямую (AlphaFold не моделирует процесс сворачивания), но демонстрирует, что в аминокислотной последовательности действительно содержится достаточно информации для определения структуры.
Где этот парадокс встречается в реальной жизни, науке и технологиях
Парадокс Левинталя — далеко не абстрактная загадка. Он затрагивает множество областей, от медицины до инженерии и информатики.
Болезни неправильного сворачивания белков
Когда белок все же «ошибается» в процессе сворачивания, последствия могут быть катастрофическими. Неправильно свернутые белки (мисфолдинг) лежат в основе целого класса заболеваний:
- Болезнь Альцгеймера — накопление неправильно свернутого бета-амилоида и тау-белка
- Болезнь Паркинсона — агрегация альфа-синуклеина
- Прионные заболевания (болезнь Крейтцфельдта-Якоба, «коровье бешенство») — прионный белок PrPSc «заражает» нормальные копии белка, заставляя их принимать патологическую конформацию
- Муковисцидоз — мутация в белке CFTR приводит к его неправильному сворачиванию и деградации
- Серповидноклеточная анемия — мисфолдинг гемоглобина, вызванный точечной мутацией
Понимание того, как белок «выбирает» правильный путь сворачивания, критически важно для разработки лекарств против этих заболеваний. Если мы поймем, где именно процесс может пойти не так, мы сможем вмешаться.
Биотехнология и фармацевтика
Производство рекомбинантных белков — например, инсулина или моноклональных антител — часто сталкивается с проблемой фолдинга. Белки, экспрессированные в бактериальных клетках, нередко образуют «тела включения» — нерастворимые агрегаты неправильно свернутых молекул. Целые технологические цепочки построены вокруг решения задачи, которую парадокс Левинталя обозначил теоретически: как направить белок по правильному пути?
Информатика и теория оптимизации
Парадокс Левинталя является частным случаем более общей проблемы комбинаторного взрыва. В информатике аналогичные ситуации встречаются повсюду:
| Область | Аналогия с парадоксом Левинталя |
|---|---|
| Задача коммивояжера | Число возможных маршрутов растет факториально; полный перебор невозможен, но эвристики находят близкие к оптимальным решения |
| Шахматные программы | Число возможных партий (~10120) несопоставимо с возможностями перебора; используются эвристики отсечения |
| Обучение нейросетей | Пространство параметров огромно, но градиентный спуск по «ландшафту потерь» находит хорошие решения — аналогия с энергетической воронкой |
| Эволюционные алгоритмы | Генетические алгоритмы «сворачивают» решения в пространстве вариантов, не перебирая все возможности |
По сути, природа «решила» NP-трудную задачу оптимизации за миллиарды лет эволюции, закодировав в аминокислотных последовательностях не только конечную структуру, но и «инструкцию» по ее достижению.
Шапероны — молекулярные помощники
В живой клетке белки сворачиваются не в вакууме. Существует целый класс белков-помощников — шаперонов, которые предотвращают неправильное сворачивание и агрегацию. Шаперонины (например, GroEL/GroES у бактерий) создают изолированную камеру, в которой белок может спокойно свернуться, не взаимодействуя с другими молекулами. Это не «решение» парадокса Левинталя в строгом смысле — шапероны не указывают белку, как именно свернуться, но они создают условия, в которых воронкообразный ландшафт работает эффективнее.
Задумайтесь вот о чем: ваше тело синтезирует тысячи различных белков каждую секунду. Каждый из них должен правильно свернуться в переполненной молекулами цитоплазме, при тепловых флуктуациях, в присутствии тысяч других молекул. И подавляющее большинство делает это безошибочно. Это все равно что одновременно решать миллион головоломок в толпе, где каждый толкает тебя под руку — и практически не ошибаться. Что это говорит о «разумности» эволюционного дизайна?
Интересные факты и связанные парадоксы
Парадокс Левинталя — не единственная загадка в мире белков, и он связан с удивительными фактами и параллелями.
- Самый быстрый известный фолдинг: маленький белок вилин (villin headpiece subdomain, 35 аминокислот) сворачивается примерно за 0,7 микросекунды. Это одно из самых быстрых молекулярных событий, включающих крупномасштабную перестройку структуры.
- Парадокс внутри парадокса: некоторые белки содержат топологические узлы в своей трехмерной структуре. Как полипептидная цепь успевает «завязаться» в узел в процессе сворачивания — отдельная, до сих пор не полностью решенная загадка.
- Анфинсеновская догма не абсолютна: существуют белки, для которых нативная структура не соответствует глобальному минимуму свободной энергии. Они попадают в кинетически «захваченное» состояние — локальный минимум, из которого не могут выбраться за биологически значимое время. Это означает, что «воронка» — не единственная форма энергетического ландшафта.
- Внутренне неупорядоченные белки (IDP): до 30-40% белков в эукариотических клетках содержат значительные неупорядоченные участки, которые вообще не имеют фиксированной трехмерной структуры. Они функционируют именно потому, что НЕ свернуты. Это переворачивает парадокс Левинталя с ног на голову: иногда решение задачи — не решать ее вовсе.
- Левинталь и компьютерная графика: Кирилл Левинталь был одним из пионеров молекулярной компьютерной графики. Он создал одну из первых систем для интерактивной визуализации молекулярных структур на экране компьютера еще в 1966 году, за три года до формулировки своего парадокса. Именно опыт «рассматривания» белковых структур на экране вдохновил его на ключевой вопрос.
- Связь с проблемой P ≠ NP: задача предсказания структуры белка тесно связана с фундаментальной проблемой теоретической информатики. Доказано, что определение, существует ли для данной последовательности конформация с энергией ниже заданного порога, является NP-трудной задачей на определенных решеточных моделях. Тем не менее природа «решает» ее постоянно — возможно, потому что реальные белки эволюционно отобраны так, чтобы их энергетические ландшафты были «удобными» для быстрого сворачивания.
- Проект CASP: с 1994 года проводится международное соревнование по предсказанию структуры белков — Critical Assessment of protein Structure Prediction (CASP). Именно на CASP14 в 2020 году AlphaFold2 продемонстрировал прорывную точность, фактически сделав задачу предсказания структуры «решенной» в практическом смысле — хотя механизм сворачивания по-прежнему остается предметом исследований.
Связанные парадоксы и задачи
| Парадокс / Задача | Связь с парадоксом Левинталя |
|---|---|
| Парадокс обезьяны и печатной машинки | Случайный перебор символов теоретически может породить «Гамлета», но потребует астрономического времени — та же логика комбинаторного взрыва |
| Парадокс Ферми | Аналогичная структура: «если X должно существовать, то почему мы его не наблюдаем» (или наоборот: «если X не должно работать, почему оно работает») |
| Проблема горизонта в космологии | Удаленные области Вселенной имеют одинаковую температуру, хотя «не должны были успеть» обменяться информацией — решается через теорию инфляции (аналог «воронки») |
| Парадокс РНК-мира | Как первые самореплицирующиеся молекулы «нашли» свои функциональные структуры в добиотическом бульоне — по сути, та же проблема поиска в гигантском конформационном пространстве |
Что говорит современная наука
На сегодняшний день парадокс Левинталя считается не столько нерешенной загадкой, сколько мощным педагогическим инструментом. Он правильно поставил вопрос, но сам вопрос содержал ложную предпосылку: никто всерьез не считал, что белок перебирает все состояния случайным образом. Парадокс показал, что любая модель фолдинга обязана объяснять, каким образом пространство поиска сужается на много порядков.
Модель энергетической воронки дает наиболее полный ответ: энергетический ландшафт белка эволюционно «отшлифован» так, что почти из любого начального состояния движение по градиенту свободной энергии ведет к нативной структуре. Промежуточные энергетические барьеры достаточно низки, чтобы не ловить белок в ловушки надолго. Эффективное число состояний, которые необходимо «посетить», сокращается с 1047 до вполне обозримого количества.
И все-таки полная количественная теория фолдинга — предсказание не только конечной структуры, но и кинетики, промежуточных состояний, вероятности мисфолдинга — остается одной из величайших задач биофизики. Парадоксу Левинталя больше полувека, и он по-прежнему заставляет ученых искать ответы.