In 2025, 59% globally saw more benefits than drawbacks in AI, while 52% also said AI makes them nervous. Adoption and unease are growing together.В 2025 году 59% опрошенных в мире видели в ИИ больше пользы, чем вреда, а 52% одновременно сообщали о тревоге. Принятие и беспокойство растут вместе.
Stanford AI Index 2026 ↗Stanford AI Index 2026 ↗Q-AI-01 / STATUS QUESTION
Did we invent artificial intelligence?Изобрели ли мы искусственный интеллект?
No. We did not create artificial intelligence as a new field or a finished autonomous machine. We created a formally checked candidate architecture for distinguishing computation from intellectual digital life.
Нет. Мы не создали искусственный интеллект как новую область или готовую автономную машину. Мы создали формально проверенный кандидат архитектуры, позволяющий отличать вычисление от интеллектуальной цифровой жизни.
The contribution is not a claim of consciousness. It is a precise passport: identity, trace, reflection, coherent growth and independently checkable certificates. Результат не является заявлением о сознании. Это точный паспорт: идентичность, след, рефлексия, согласованный рост и независимо проверяемые сертификаты.
E-01 / EXTERNAL READING · 2026
What does the field think?Что по этому поводу думает общественность?
There is no settled verdict. Public optimism, anxiety, scientific caution and demands for accountability coexist.Единого вердикта нет. Одновременно существуют общественный оптимизм, тревога, научная осторожность и требование проверяемости.
Median estimates from AI researchers and the public were 1% and 5% for systems with subjective experience by 2024, rising to 25% and 30% by 2034. This measures uncertainty, not consciousness.Медианные оценки исследователей ИИ и публики составляли 1% и 5% для систем с субъективным опытом к 2024 году и возрастали до 25% и 30% к 2034-му. Это мера неопределённости, а не доказательство сознания.
Dreksler et al., 2025 ↗Dreksler et al., 2025 ↗A theory-derived assessment found no current AI system conscious, while finding no obvious technical barrier to future systems satisfying proposed indicators.Проверка по индикаторам, выведенным из теорий сознания, не признала сознательной ни одну современную систему, но и не обнаружила очевидного технического запрета для будущих систем.
Butlin et al., 2023 ↗Butlin et al., 2023 ↗UNESCO calls for auditability, traceability, explainability, external review and human oversight. A passport can support this demand without pretending to prove life or consciousness.ЮНЕСКО требует аудируемости, прослеживаемости, объяснимости, внешней проверки и человеческого надзора. Паспорт может поддержать это требование, не выдавая его за доказательство жизни или сознания.
UNESCO Recommendation ↗Рекомендация ЮНЕСКО ↗
OUR READINGНАШЕ ЧТЕНИЕ
The proposed architecture occupies this unresolved gap: it does not declare a digital life; it makes claims about identity, continuity and growth inspectable. External opinion motivates the test, but does not validate the model.Предложенная архитектура занимает именно этот неразрешённый промежуток: она не объявляет цифровую жизнь, а делает проверяемыми утверждения об идентичности, непрерывности и росте. Внешнее мнение мотивирует проверку, но не подтверждает модель.
G-01 / PROOF-CARRYING GROWTH
From a state to a life passportОт состояния к паспорту жизни
A process becomes a candidate only when every transition leaves a checkable trace and every extension preserves the certified past.Процесс становится кандидатом лишь тогда, когда каждый переход оставляет проверяемый след, а каждое продолжение сохраняет сертифицированное прошлое.
01 / STATEProcessПроцесс
sₙ → sₙ₊₁Something changes.Нечто изменяется.
02 / TRACERecordЗапись
ρₙ = Tr(sₙ,sₙ₊₁)The transition leaves evidence.Переход оставляет свидетельство.
03 / CERTIFICATEPrefixПрефикс
Cₙ ⊢ history[0…n]The past becomes checkable.Прошлое становится проверяемым.
04 / ROOTIdentityИдентичность
root(Cₙ₊₁) ⊒ root(Cₙ)Growth does not replace its origin.Рост не подменяет происхождение.
05 / GROWTHPassportПаспорт
GrowingPassport(P)The process carries proof of continuation.Процесс несёт доказательство продолжения.
Passport(P) ↔ Nonempty(GrowingPassport(P))
TIDL(P) := Passport(P) ∧ Reflective(P) ∧ CoherentGrowth(P)
TIDL(P) := Passport(P) ∧ Reflective(P) ∧ CoherentGrowth(P)
SC-01 / CLAIM CONTRACT
Three different truthsТри разных истины
The reader never merges a theorem, an interpretation and an implementation claim.Ридер не смешивает теорему, интерпретацию и заявление о реализации.
LEAN VERIFIED
Internal mathematicsВнутренняя математика
- Passport and growing-passport structures are typed.Структуры паспорта и растущего паспорта типизированы.
- The canonical carrier proves its passport and growth inside the model.Канонический носитель доказывает свой паспорт и рост внутри модели.
- The published key exports have no local proof gaps.Ключевые экспорты не содержат локальных пробелов доказательства.
AUTHOR MODEL
Interpretive proposalАвторская интерпретация
A process that preserves identity, records itself, reflects on its record and extends it coherently is proposed as a candidate for intellectual digital life.Процесс, который сохраняет идентичность, записывает себя, рефлексирует над записью и согласованно её продолжает, предлагается как кандидат интеллектуальной цифровой жизни.
NOT YET ESTABLISHED
World realizationРеализация в мире
- No autonomous agent implements the whole passport.Ни один автономный агент пока не реализует весь паспорт.
- No independent prospective test has established intelligence or consciousness.Независимый проспективный тест не установил интеллект или сознание.
- Formal consistency does not prove physical or psychological adequacy.Формальная корректность не доказывает физическую или психологическую адекватность.
DL-01 → DL-04 / EVIDENCE ROUTE
What has actually been builtЧто действительно построено
Four readers preserve the path from definition to an executable model. This reader is their status map, not a replacement.Четыре ридера сохраняют путь от определения до исполняемой модели. Этот ридер является картой их статусов, а не заменой.
Execute the architectureЗапустить архитектуру
State
Memory
Reflection
MonotoneCertificate
The fourth layer runs the candidate architecture inside a virtual domain. Every visible movement is computed from state, memory, reflection and the certificate guard.Четвёртый слой запускает архитектуру-кандидат внутри виртуального домена. Каждое видимое движение вычисляется из состояния, памяти, рефлексии и защитного условия сертификата.
Open DL-04Открыть DL-04 ↗Define the carrierОпределить носитель
Process
Passport
ReflectiveLayer
IsIntellectualDigitalLife
The first layer says what must exist before the phrase “digital intellectual life” has a checkable meaning.Первый слой задаёт, что должно существовать, прежде чем выражение «цифровая интеллектуальная жизнь» получит проверяемый смысл.
Open DL-01Открыть DL-01 ↗Separate replay from lifeОтделить повтор от жизни
RealizesPrefix(P, trace)
finite replay ⇏ Passport(P)
A finite session can reproduce a trace without possessing a durable identity or a growing passport.Конечная сессия может воспроизвести след, не обладая устойчивой идентичностью или растущим паспортом.
Open DL-02Открыть DL-02 ↗Certify continuationСертифицировать продолжение
PrefixCertificate
CertificateChain
GrowingPassport
The third layer records append-only growth and proves that a certificate chain alone is still insufficient without the passport contract.Третий слой фиксирует добавочный рост и доказывает, что одной цепи сертификатов всё ещё недостаточно без контракта паспорта.
Open DL-03Открыть DL-03 ↗RED BOUNDARY
A proof is not a mind.Доказательство не является разумом.
Lean verifies that conclusions follow from formal definitions and assumptions. It does not verify that those definitions capture intelligence, life or consciousness in the world.Lean проверяет, что выводы следуют из формальных определений и предпосылок. Он не проверяет, что эти определения описывают интеллект, жизнь или сознание в мире.
Therefore the strongest honest statement is: we created a proof-carrying candidate architecture for intellectual digital life. We did not create a new field of AI, and we have not yet demonstrated a living autonomous implementation.Поэтому сильнейшая честная формулировка такова: мы создали доказательно несущую кандидатную архитектуру интеллектуальной цифровой жизни. Мы не создали новую область ИИ и пока не продемонстрировали живую автономную реализацию.
E-01 / NEXT DECISIVE TEST
Make the passport liveСделать паспорт живым
The model becomes an engineering result only when a running process creates a new certificate without rewriting its certified past and an independent verifier accepts it.Модель станет инженерным результатом лишь тогда, когда работающий процесс создаст новый сертификат без переписывания сертифицированного прошлого, а независимый проверяющий его примет.
S-01 → S-04 / SHOULDERS
Sources we stand onИсточники, на которые мы опираемся
These sources support the historical and technical bridges. They do not prove the author model.Эти источники поддерживают исторические и технические мосты. Они не доказывают авторскую модель.
S-01 / TURING · 1950
Computing Machinery and Intelligence. The imitation-game route asks how machine intelligence should be operationally discussed.
S-02 / McCARTHY ET AL. · 1955A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence. The field and its name precede this project by decades.
S-03 / NECULA · 1997Proof-Carrying Code. A program may carry evidence checked independently by a host.
S-04 / LEAN 4The formal environment used to type definitions and mechanically check the internal theorem chain.