Между обобщением опыта и концептуальным прыжком: как обучение с подкреплением позволило ИИ обрушить многолетние догмы науки и где проходит граница его оракула

Text rendered via Dual-Core compilation (Human author + LLM co-processor).
Англоязычная версия данной заметки доступна здесь https://alex-ber.medium.com/387c4422e9d0

• Крушение социологического консенсуса за счёт RL-поиска. Изначально я перенёс ограничение базовых текстовых моделей (вроде условной исторической GPT-1900), работающих за счёт статистической индукции (обобщения частных паттернов и корреляций обучающей выборки в общее правило), на современные рассуждающие системы, утверждая, что ИИ не способен выйти за пределы человеческих догм, присутствующих в текстах для обучения. Вы справедливо указали на заявленное 26 октября 2026 года опровержение гипотезы об экспоненциальном времени (ETH): 27 лет всё научное сообщество считало ETH истинной и построило на ней сотни условных теорем о нижних оценках вычислительной сложности и невозможности существования быстрых (субэкспоненциальных, времени 2^o(n)) алгоритмов. Более того, в один и тот же день (16 октября, с публичным релизом 26 октября) две конкурирующие лаборатории — OpenAI и Anthropic со своей моделью Claude — независимо друг от друга нашли субэкспоненциальные алгоритмы для 3-SAT и формализовали их в Lean (сейчас препринты проверяет независимая рабочая группа «пастырей» во главе с самими авторами гипотезы ETH Расселом Импальяццо, Рамамоханом Патури и Райаном Уильямсом; при этом найденная оценка носит чисто асимптотический характер, выигрывая у полного перебора лишь на астрономическом числе переменных, и не означает равенства P = NP). Разрешение этого противоречия дало ключевой инсайт: многоагентный (и длительный одноагентный) поиск с подкреплением (RL) в связке с объективным верификатором полностью отвязывает модель от человеческих заблуждений.

Ниже есть продолжение.

Вспомогательные конструкции как математическая абдукция. Ваше замечание о том, что введение нового вспомогательного уравнения в частных производных (через аналитическое продолжение волнового уравнения в дополнительных координатах времени) и кватернионного аналога функционала энергии Обена — Мабучи в паре с вещественным потенциалом Монжа — Ампера (в препринте от 26 октября с решением задачи локального сглаживания Кристофера Согге и вытекающей из неё гипотезы Какея для всех размерностей n ≥ 2) является актом абдукции (эвристического скачка: угадывания недостающей гипотезы, скрытой структуры или новой аксиомы, которая не следует напрямую из условия, но позволяет замкнуть доказательство), оказалось точным. Сводить работу математической модели к «механической дедукции» (строгому логическому выводу следствий из уже заданных аксиом и правил по готовым шагам) неверно: угадывание скрытого инварианта, отсутствующего в условии задачи, и сшивание далёких областей — кодов Таннера, сведения к перманенту разреженной матрицы и полиномиальной интерполяции Эрмита по производным деформированного многочлена в булевой задаче точного подсчёта решений #3-SAT — это полноценная эвристическая абдукция.

Разделение ролей между LLM и верификатором Lean. Ядро Lean — это пассивный проверяльщик типов без малейшей способности к самостоятельному поиску. Когда речь заходит о метаматематических задачах, таких как доказательство независимости континуум-гипотезы (ZFC ⊬ CH и ZFC ⊬ ¬CH) в проекте Flypitch Джесси Хана и Флориса ван Дорна, метод форсинга Коэна принципиально лежит во внешней метатеории, а не внутри самой объектной теории ZFC (которая задаётся через глубокое вложение синтаксиса логики первого порядка). Поэтому людям в Flypitch приходилось вручную выходить в метатеорию и закладывать конструкцию форсинга руками: конструировать во вселенной типов Lean индуктивный тип булевозначных множеств bSet B в кодировке Акцеля, доказывать булевозначную теорему о корректности и прописывать явные функции-мосты между кардиналами метатеории и истинностными значениями внутри модели. Всю генеративную работу и концептуальные прыжки совершает именно нейросеть, а жёсткая привязка к фиксированным аксиомам объектной теории — это ограничение верифицирующего компилятора Lean, а не самой языковой модели.

Сентябрьский «взрыв» в уравнениях Навье — Стокса. Уже 8 сентября 2026 года рой из 10 000 агентов OpenAI (за 88 часов генерации и 17 часов формализации) опроверг глобальную гладкость трёхмерных уравнений Навье — Стокса с внешней силой, построив вихревую сингулярность. И хотя вокруг этого результата бушуют сразу два скандала — подозрения Тристана Бакмастера и Левента Альпёге об утечке логов из Codex и детально разобранное группой Александра Бастуниса, Фабиана Чирчелли и Андерса Хансена (препринт на arXiv от 6 октября и вчерашний официальный пресс-релиз Королевского колледжа Лондона от 27 октября) расхождение между текстом препринта и кодом на Lean, — опрос профильных математиков в Scientific American от 13 октября подтвердил, что сам математический маршрут ИИ отличается от человеческих черновиков: вместо «испанской программы» Кордобы — Мартинеса-Сороа модель пошла через механизм самогенерируемой гидродинамической неустойчивости, близкий к выпуклому интегрированию.

«Погашенный кредит» непрерывного анализа против физической планковской длины. Что касается смысла октябрьского доказательства по теории Янга — Миллса (чьи текст и код на Lean OpenAI пока не выложила в открытый доступ, передав закрытой группе экспертов под руководством нобелевского лауреата Дэвида Гросса, и где заявлено доказательство конструктивного существования теории по ренормгрупповой программе Тадеуша Балабана, но ещё не самой массовой щели): уравнения квантовой хромодинамики записаны в мире без гравитации (G = 0, где планковская длина l_P = √(ℏG / c³) тождественно равна нулю), поэтому сходимость решёточного предела ε → 0 не доказывает физическую непрерывность реального пространства-времени ниже 10⁻³⁵ м. Однако формула «кредит непрерывности погашен» безупречно описывает математическую суть открытия: в неабелевых калибровочных полях (в отличие от гидродинамики Навье — Стокса, где непрерывная модель «банкротится» и уходит в бесконечную скорость без учёта дискретных молекул) за счёт асимптотической свободы при ε → 0 аппарат конструктивной теории поля и операторнозначных обобщённых функций оказался внутренне замкнутым и непротиворечивым на сколь угодно малых масштабах (тогда как для полной Стандартной модели из-за полюса Ландау в абелевом U(1)-секторе и секторе Хиггса потребовалось вводить специальное неабелево «единое доопределение» — unified completion).

Гладкий предел формул против несовместимости аксиом. Хотя уравнения ОТО при малых скоростях и слабых полях (в классическом ньютоновском пределе c → ∞, выступающем как обобщённый методологический принцип соответствия — по аналогии с принципом соответствия Бора для ℏ → 0 в квантовой механике) гладко переходят в ньютоновское уравнение Пуассона, на уровне фундаментальной геометрии постулат плоского четырёхмерного пространства-времени Минковского в СТО (R^ρ_σμν ≡ 0) или плоского трёхмерного евклидова пространства в классической механике Ньютона (⁽³⁾R_ijkl ≡ 0, даже с учётом того, что в четырёхмерной геометрической переформулировке Ньютона — Картана пространственно-временная компонента кривизны R⁰_i0j = ∂_i∂_jΦ отлична от нуля, а уравнение Пуассона записывается как R₀₀ = 4πGρ) и постулат динамической четырёхмерной кривизны псевдориманова многообразия ОТО (R^ρ_σμν ≠ 0) концептуально несовместимы. В математике опровержение ETH не отменяет аксиом ZFC, а лишь обрушивает ветку условных теорем в теории вычислительной сложности; в физике же смена парадигмы требует отбросить старую аксиоматику и объявить её лишь первым членом асимптотического ряда внутри новой геометрии.

Реальная механика открытия ОТО (Гроссман вместо Минковского). Для создания ОТО Эйнштейну после физического озарения 1907 года понадобились восемь лет тяжёлого поиска, прямая помощь математика Марселя Гроссмана с аппаратом римановой геометрии и тензорного анализа (1912) и мучительное преодоление собственной ошибочной теории Entwurf (1913).

Главный вывод

Изначальный тезис о том, что «языковые модели способны только к интерполяции, индукции и дедукции, но не способны к абдуктивным прыжкам», ошибочен в своей базовой посылке. События осени 2026 года доказали, что барьер проходит вовсе не между дедукцией и абдукцией — как рой из 10 000 ИИ-агентов в сентябре, так и одиночные рассуждающие агенты нового поколения в октябре во время длительного поиска в пространстве рассуждений успешно генерируют новые математические объекты и ломают многолетние догмы людей.

Настоящий водораздел проходит по природе верификатора (оракула), замыкающего цикл обучения с подкреплением:

1. В математике и теоретической информатике оракул (логическое ядро Lean или прямая алгебраическая проверка) абсолютно замкнут и безошибочен. Поэтому ИИ здесь уже вышел на уровень сверхчеловеческой абдукции, а единственным слабым звеном остаётся автоформализация — семантически точный перевод условий и определений с человеческого языка на язык верификатора (задача, для которой Бастунис, Чирчелли и Хансен строго доказали индекс сложности разрешимости SCI = ∞, что алгоритмически сложнее даже проблемы остановки Тьюринга с SCI = 1).

2. В теоретической физике прошлого (как в «Тесте Эйнштейна» с отсечкой на 1911 годе): ИИ может совершить открытие ОТО «в собственной голове» (в цепочке рассуждений) без физической лаборатории. Ведь три фильтра, с помощью которых Эйнштейн в ноябре 1915 года отсеял ошибочные уравнения — ковариантное сохранение энергии-импульса (которое Эйнштейн нащупал через координатные ограничения и законы сохранения, ещё не зная в 1915 году о свёрнутых тождествах Бьянки ∇_μG^μν ≡ 0, автоматически гарантирующих это свойство для тензора Эйнштейна), ньютоновский предел и совпадение орбитального интеграла с аномальным смещением перигелия Меркурия (открытым Урбеном Леверье в 1859 году с оценкой в 38″ в столетие и уточнённым Саймоном Ньюкомом в 1882 году до канонических 43″ в столетие, которыми пользовался Эйнштейн), — проверяются чисто символьно. Если дать современной системе из 10 000 агентов массив знаний 1911 года и поставить эти три фильтра в качестве функции награды RL, она переизобретёт уравнения поля Эйнштейна (выводимые из действия Эйнштейна — Гильберта).

3. А вот в современной фундаментальной физике на планковском масштабе (квантовая гравитация) ИИ упирается в настоящий тупик не из-за глупости архитектуры, а из-за отсутствия «своего Меркурия». На масштабах 10⁻³⁵ м у человечества нет экспериментальных аномалий, способных послужить функцией вознаграждения для отсева гипотез: модель может сгенерировать десятки математически безупречных (с погашенным кредитом непрерывности или дискретных) теорий, но без нового физического эксперимента ни один внутренний верификатор не скажет, какую из этих математик выбрала Природа.