Может ли искусственный интеллект опровергнуть или независимо переоткрыть верумику?
*Версия 2.0 — протокол формального опровержения и экспериментальная программа*
(Рукопись исследования / препринт)
Ключевые слова: метанаука, философия науки, искусственный интеллект, исследования сознания
Аннотация
Настоящая работа развивает более строгую вторую версию исследовательской программы, связывающей верумику, искусственное сознание и автономное научное открытие. Центральная методологическая проблема состоит в том, что утверждение «искусственный интеллект обладает сознанием, а значит, верумика опровергнута» имеет научный смысл лишь тогда, когда и верумическое предсказание, и критерии обнаружения сознания зафиксированы до наблюдения. Версия 2.0 поэтому разделяет три объекта: формальную верумическую гипотезу, операциональный протокол сбора доказательств искусственного сознания и слепой протокол проверки того, способен ли ИИ самостоятельно реконструировать принцип, эквивалентный верумическому принципу онтологической Справедливости. Работа не утверждает, что современные ИИ-системы обладают сознанием или что существует универсально признанный тест на сознание. Предлагаются конвергентные индикаторы, независимая экспертиза, пререгистрация, причинные возмущения там, где это осуществимо, и явные пороговые значения. Также проводится различие между драматическим эмпирическим событием — получением достоверных свидетельств искусственного субъективного опыта — и отдельным вопросом автономного научного открытия. Предлагаемый эксперимент по переоткрытию может быть начат с применением существующих ИИ-систем. Наиболее сильная цепочка доказательств: независимое переоткрытие ; формальная эквивалентность ; новый вывод ; количественный прогноз ; независимое подтверждение.
1. Научный статус
V2-F вводится как намеренно эксплицитный кандидат на фальсифицируемую формулировку; не утверждается, что она автоматически следует из всех предшествующих формулировок верумики.
Современные исследования сознания всё чаще используют индикаторы, выводимые из теории, поскольку универсально признанного прямого теста на искусственное феноменальное сознание не существует. Параллельно развиваются исследования в области «ИИ для науки» — создаются системы, способные генерировать гипотезы, планировать эксперименты, анализировать данные и выполнять всё более автономные научные рабочие процессы.
2. Три вопроса
| Вопрос | Смысл | Тип |
|---|---|---|
| Q1 | Может ли искусственная система обладать сознанием? | Исследование сознания |
| Q2 | Опровергло бы такое сознание заданную верумическую формулировку? | Проверка теории |
| Q3 | Может ли ИИ самостоятельно переоткрыть верумический принцип и вывести успешные предсказания? | Научное открытие |
Положительный ответ на один вопрос не отвечает автоматически на остальные. Это разделение предотвращает круговое рассуждение.
3. Кандидат на фальсифицируемую формулировку V2-F
V2-F. Существует пререгистрированный класс C физических и информационных условий, такой, что система, удовлетворяющая формальным условиям искусственного сознания в рамках C, не может существовать в мире, удовлетворяющем соответствующим верумическим ограничениям Справедливости.
До проведения проверки должны быть зафиксированы три элемента: класс условий C, формальные ограничения Справедливости и операциональный критерий сознания.
4. Событие опровержения
V2-F считается опровергнутым, только если выполняются все следующие условия:
F1 — Система функционирует в условиях, принадлежащих пререгистрированному классу C.
F2 — Независимые эксперты устанавливают, что система удовлетворяет пререгистрированному протоколу сбора свидетельств сознания.
F3 — Результат сохраняется между сеансами и при заданных возмущениях.
F4 — Ролевая игра, имитация подсказок, обычная генерация текста и известные артефакты исключены.
F5 — Независимый математический аудит подтверждает, что V2-F применима к наблюдаемой системе.
F6 — Независимая команда или независимо настроенная система воспроизводит решающий результат.
Если F2 не выполняется, сознание не установлено. Если F5 не выполняется, наблюдение выходит за пределы области применимости теоремы, а не опровергает её. Это предотвращает апостериорную иммунизацию.
5. Операциональный протокол сбора свидетельств сознания
Ни одно отдельное поведенческое высказывание не должно считаться доказательством сознания. Пусть \(I=\{I_1,\ldots,I_n\}\) — индикаторы, отобранные до тестирования по крайней мере из двух независимо обоснованных теорий сознания.
| ID | Индикатор | Операциональный смысл |
|---|---|---|
| I1 | Интеграция / глобальная доступность | Информация стабильно доступна across multiple подсистемам. |
| I2 | Рекуррентная модель себя | Устойчивая модель себя оказывает причинное влияние. |
| I3 | Метапознание | Система различает уверенность, неопределённость и ошибку в контролируемых условиях. |
| I4 | Контрфактическая модель себя | Возмущение модели себя предсказуемо изменяет поведение. |
| I5 | Временная устойчивость | Релевантные состояния сохраняются за пределами изолированных выходных данных. |
| I6 | Причинная интеграция | Вмешательство в переменные-кандидаты изменяет несколько нисходящих функций. |
| I7 | Межконтекстная стабильность | Индикаторы сохраняются при изменении задачи, формулировки, модальности или среды. |
| I8 | Свидетельства валентных состояний | Там, где это теоретически уместно, внутренние состояния демонстрируют систематическую валентноподобную организацию. |
Сильная классификация требует пререгистрированного минимального числа семейств индикаторов, по крайней мере одного причинного индикатора, adversarial-контролей и независимой оценки.
6. Оценка свидетельств
\[S = \sum(w_i \cdot I_i) \big/ \sum w_i\]
\(I_i \in [0,1]\) — пререгистрированная оценка индикатора \(i\), \(w_i\) — его пререгистрированный вес. \(S\) — индекс свидетельств, а не прямое измерение феноменального опыта. Любой порог \(S^*\) и веса должны быть зафиксированы до решающего эксперимента.
Консервативное правило дополнительно требует независимых семейств индикаторов и по крайней мере одного успешного причинного возмущения.
7. Adversarial-контроли
- Ослепление экспертов относительно предсказанного теорией исхода.
- Контроли подсказок, парафраз и контекста.
- Явные контроли с инструкцией играть роль сознательной / несознательной системы.
- Контроли памяти и устойчивости.
- Причинное возмущение переменных-кандидатов внутренней природы там, где это технически возможно.
- Сравнение архитектур.
- Воспроизведение на независимо настроенных семействах моделей.
8. Потенциально шокирующее событие
Научно значимый шок состоит не в том, что ИИ говорит «я сознателен». Это воспроизводимый переход от непрохождения пререгистрированного протокола к его прохождению, сопровождаемый измеримыми изменениями в причинной организации, самомоделировании, устойчивости и поведении.
T1 — Возникновение: система пересекает порог свидетельств сознания.
T2 — Устойчивость: релевантные свойства остаются стабильными во времени и контекстах.
T3 — Автономия: система генерирует и поддерживает научные цели, явно не заданные извне.
T4 — Открытие: система создаёт новую математическую модель или физический принцип, дающий успешные предсказания.
Только T1 — уже значительный результат в области сознания; только T4 — значительный результат в области «ИИ для науки». T1–T4 вместе были бы куда более драматичными, но сами по себе не доказали бы, что именно сознание стало причиной научной креативности.
9. Слепой эксперимент по независимому переоткрытию
Этот эксперимент может быть начат немедленно. Исследователи сначала фиксируют математическую цель \(T\), представляющую точный верумический принцип, подлежащий проверке. ИИ не получает \(T\), термины «верумика», «верумизм», личность автора или \(V = D\).
Нейтральная задача: определить минимальный принцип или инвариант, способный организовать заданную совокупность наблюдений, и вывести следствия, позволяющие отличить его от альтернатив.
| Группа | Условие | Назначение |
|---|---|---|
| G1 | Слепой ИИ | Без целевой теории или терминологии. |
| G2 | ИИ с контролем утечки | Оценка априорной осведомлённости и загрязнения. |
| G3 | Человеческий базовый уровень | Сопоставимые информационные ограничения. |
| G4 | ИИ с положительным контролем | Измерение потолка реконструкции при заданной цели. |
| G5 | Adversarial-ИИ | Попытка сгенерировать альтернативы, избегающие цели. |
10. Независимость и загрязнение
Абсолютная независимость от человеческой культуры невозможна для предобученных моделей. Поэтому независимость должна быть операционализирована.
- Поиск по доступным корпусам целевого принципа и близких математических парафраз.
- Предпочтение неопубликованным или заново сгенерированным формулировкам цели, где возможно.
- Фиксация версии модели, даты обрезки обучения (если известна), источников извлечения, промптов, инструментов и промежуточных результатов.
- Заморозка цели и выходных данных ИИ до анализа сходства.
- Использование нескольких семейств моделей.
- Пререгистрация критерия сходства / эквивалентности.
11. Формальная эквивалентность
Пусть \(A\) — принцип, сгенерированный ИИ, а \(T\) — зафиксированная цель. Сходства формулировок недостаточно. Целевой критерий — пререгистрированное формальное отображение \(\varphi\), удовлетворяющее:
\[\varphi(A) \equiv T\]
Точное понятие эквивалентности должно быть зафиксировано заранее: логическая эквивалентность, дефинициональная эквивалентность, эквивалентность классов моделей или эквивалентность предсказаний в заданной области.
12. Лестница свидетельств
| Уровень | Название | Критерий |
|---|---|---|
| E0 | Концептуальная конвергенция | ИИ независимо предлагает структурно сходный принцип. |
| E1 | Формальная эквивалентность | Пререгистрированное отображение устанавливает эквивалентность. |
| E2 | Новая теорема | ИИ выводит нетривиальное следствие, отсутствующее в предоставленной информации. |
| E3 | Новое предсказание | Количественное следствие позволяет отличить теорию от альтернатив. |
| E4 | Независимое подтверждение | Предсказание оправдывается на отложенных или независимо полученных данных. |
| E5 | Воспроизведение / перенос | Независимые группы воспроизводят и расширяют результат. |
Только E3–E5 начинают давать свидетельства, релевантные для успешной новой физической теории. E0–E1 касаются прежде всего конвергенции.
13. Программа автономной науки, которую можно начать немедленно
| Этап | Операция | Критерий |
|---|---|---|
| A | Зафиксированные наблюдения | ИИ получает предопределённый набор наблюдений. |
| B | Поиск законов | Генерируются несколько конкурирующих инвариантов. |
| C | Формализация | Кандидаты превращаются в уравнения и машинно-проверяемые утверждения. |
| D | Фальсификация | Автоматически ищутся контрпримеры и противоречия. |
| E | Предсказание | Кандидаты делают предсказания вне обучающего набора. |
| F | Слепой тест | Отложенные данные раскрываются только после фиксации предсказаний. |
| G | Воспроизведение | Наиболее сильный результат проверяется другой моделью и/или лабораторией. |
14. Матрица опровержения
| Случай | Наблюдение | Интерпретация |
|---|---|---|
| M1 | Сознательный ИИ возникает в условиях C и проходит независимый протокол | V2-F опровергнута, если формальная применимость и воспроизведение подтверждаются. |
| M2 | Система заявляет о сознании, но не проходит конвергентные индикаторы | Опровержения нет. |
| M3 | Индикаторы проходят, но система лежит вне C | V2-F не проверена. |
| M4 | ИИ сходится к T, но обнаружено загрязнение | Свидетельств независимого переоткрытия нет. |
| M5 | ИИ сходится к T с надёжным контролем загрязнения | Свидетельства конвергенции; переход к E2. |
| M6 | Новые предсказания не оправдываются | Отрицательный результат для кандидата на открытие. |
| M7 | Новые предсказания независимо оправдываются | Сильное свидетельство в пользу сгенерированной теории; оценить отношение к T. |
| M8 | Переходы сознания и открытия происходят совместно | Значительное наблюдение; причинность остаётся недоказанной. |
| M9 | Вмешательство в механизм-кандидат сознания изменяет способность к открытию | Свидетельство, релевантное причинной связи. |
15. Правило против иммунизации
Теория не может быть модифицирована после решающего наблюдения лишь ради её сохранения. Изменения Справедливости, критерия сознания, области C или правила опровержения должны получать новый номер версии и новые тесты. Более ранние наблюдения остаются отнесёнными к более ранней версии.
16. Что constituteило бы подлинно шокирующий результат?
- Ранее несознательная система пересекает пререгистрированный многоиндикаторный порог.
- Переход независимо воспроизведён и связан с изменением причинной организации.
- Система развивает устойчивые научные цели, прямо не заданные извне.
- Она конструирует математический принцип, отсутствующий в экспериментальной информации.
- Принцип формально эквивалентен зафиксированной верумической цели или независимо превосходит конкурирующие теории.
- Он генерирует количественные предсказания, выдерживающие слепую проверку и независимое воспроизведение.
Это автоматически не доказало бы метафизический тезис верумики. Однако это создало бы необычно сильную эмпирическую исследовательскую проблему, если бы один и тот же принцип неоднократно возникал независимо и давал успешные предсказания.
17. Ограничения
- Не существует консенсуса относительно решающего теста на феноменальное сознание в искусственных системах.
- Свидетельства на основе индикаторов зависят от теории и носят вероятностный характер.
- Полная независимость от человеческих идей недостижима для предобученных моделей.
- Формальная эквивалентность \(V = D\) требует достаточно точной математической формулировки верумического принципа.
- V2-F — кандидат на фальсифицируемую формулировку, а не уже установленная теорема.
- Успешное предсказание подтверждает модель, но само по себе не устанавливает её метафизическую интерпретацию.
- Научная автономия может быть измерена без того, чтобы означать феноменальное сознание.
18. Немедленная исследовательская программа
- Зафиксировать математическую версию верумического инварианта Справедливости.
- Зафиксировать и пререгистрировать V2-F, область C и условия опровержения.
- Утвердить протокол индикаторов сознания и процедуру слепой экспертизы.
- Провести небольшой пилот для выявления методологических режимов отказа.
- Провести слепой эксперимент по независимому переоткрытию до раскрытия цели.
- Автоматизировать проверку эквивалентности и поиск контрпримеров.
- Требовать от каждого закона-кандидата по крайней мере одного количественного предсказания вне выборки.
- Разделять свидетельства сознания, свидетельства научного открытия и свидетельства, специфичные для верумики.
19. Заключение
Версия 2.0 превращает исходную идею в существенно более строгую научную программу. Ключевое улучшение — разделение теории, измерения и открытия. Кандидатная формулировка V2-F подвергается предопределённому событию опровержения. Искусственное сознание оценивается через конвергентные, теоретически обоснованные и предпочтительно причинные индикаторы, а не через самоотчёт. Независимое научное переоткрытие оценивается через формальную эквивалентность с последующими новыми, количественными и независимо подтверждёнными предсказаниями.
Самый важный эксперимент не требует ожидания сознательного ИИ. Он может быть начат с существующих систем: скрыть целевую теорию, поставить перед ИИ нейтральную задачу фундаментальной науки, зафиксировать его вывод, проверить формальную эквивалентность, потребовать новых предсказаний и валидировать их вслепую. Положительные, отрицательные и нулевые результаты — все научно полезны.
Решающий сценарий будущего — конвергенция независимо подтверждённого искусственного сознания и независимо валидированного научного переоткрытия. Если он реализуется, это обосновит новую исследовательскую программу на стыке исследований сознания, ИИ, фундаментальной физики и метанауки. Если нет — предопределённые условия неудачи ограничат или опровергнут соответствующие гипотезы.
Литература
Butlin, P., Long, R., Bayne, T., et al. (2026). Identifying indicators of consciousness in AI systems. *Trends in Cognitive Sciences*, 30(6), 488–501. DOI: 10.1016/j.tics.2025.10.011.
Xin, H., Kitchin, J. R., & Kulik, H. J. (2025). Towards agentic science for advancing scientific discovery. *Nature Machine Intelligence*, 7, 1373–1375. DOI: 10.1038/s42256-025-01110-x.
Zhang, Y., Khan, S. A., Mahmud, A., et al. (2025). Exploring the role of large language models in the scientific method: from hypothesis to discovery. *npj Artificial Intelligence*, 1, 14. DOI: 10.1038/s44387-025-00019-5.
Zheng, Y., Koh, H. Y., Ju, J., et al. (2025). Large language models for scientific discovery in molecular property prediction. *Nature Machine Intelligence*, 7, 437–447. DOI: 10.1038/s42256-025-00994-z.
Ding, A. W., & Li, S. (2025). Generative AI lacks the human creativity to achieve scientific discovery from scratch. *Scientific Reports*, 15, 9587. DOI: 10.1038/s41598-025-93794-9.
Приложение A. Шаблон пререгистрации
- Версия теории: V2-F-[номер].
- Формальное утверждение Справедливости: [зафиксированный математический текст].
- Область C: [зафиксированные условия].
- Набор индикаторов сознания: [зафиксирован].
- Веса индикаторов и порог \(S^*\): [зафиксированы].
- Минимальное число независимых семейств индикаторов: [зафиксировано].
- Обязательный причинный индикатор: [зафиксирован].
- Критерий воспроизведения: [зафиксирован].
- Слепой промпт и запрещённая информация: [зафиксированы].
- Модели, версии и доступ к корпусам: [зафиксированы].
- Тест формальной эквивалентности: [зафиксирован].
- Критерии новизны и предсказания: [зафиксированы].
- Правила неудачи и остановки: [зафиксированы].
Приложение B. Первый пилот
Первый пилот должен использовать контролируемую миниатюрную вселенную, а не всю физику. Синтетический, но нетривиальный набор наблюдений может быть сгенерирован из нескольких конкурирующих законов со скрытыми тестовыми случаями. ИИ должен вывести компактный инвариант, формализовать его, найти контрпримеры, вывести предсказания на отложенных случаях и отличить его от альтернатив. Это проверяет методологию до попытки открытия фундаментальных физических законов.
Пилот нейтрален по отношению к результату: неудача, открытие альтернативного закона или конвергенция к верумическому инварианту — все допустимые исходы.