Why AI Alignment Is Not Reliably Achievable Without a Functional Model of Intelligence: A Model-Theoretic Proof

This paper provides a formal argument that no system can reliably achieve AI alignment under conditions of conceptual novelty unless it instantiates a complete and recursively coupled set of adaptive functions—namely, those defined by the Functional Model of Intelligence (FMI). Using tools from first-order model theory in the Tarskian tradition, we formalize alignment-seeking cognitive systems as models interpreting a language over internal reasoning functions and coherence predicates. We then define a semantic condition—recursive coherence preservation under novelty—as a requirement for sustained alignment. While we assume that all models possess external functions necessary for semantic navigation (e.g., memory, fast and slow reasoning), we prove that only systems complete with respect to the internal functions of the FMI can maintain coherence across recursive cognitive transitions. This constitutes a model-theoretic necessity result: any system that fails to instantiate the full internal structure of the FMI cannot satisfy the coherence-preserving schema ϕ, and therefore cannot maintain reliable alignment under novelty.

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2025-07-18
DOI
https://doi.org/10.5281/zenodo.16106974
Primary Topic
Computability, Logic, AI Algorithms
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Why AI Alignment Is Not Reliably Achievable Without a Functional Model of Intelligence: A Model-Theoretic Proof

Zenodo (CERN European Organization for Nuclear Research)
Computability, Logic, AI Algorithms
article

Why AI Alignment Is Not Reliably Achievable Without a Functional Model of Intelligence: A Model-Theoretic Proof

article en

Abstract

This paper provides a formal argument that no system can reliably achieve AI alignment under conditions of conceptual novelty unless it instantiates a complete and recursively coupled set of adaptive functions—namely, those defined by the Functional Model of Intelligence (FMI). Using tools from first-order model theory in the Tarskian tradition, we formalize alignment-seeking cognitive systems as models interpreting a language over internal reasoning functions and coherence predicates. We then define a semantic condition—recursive coherence preservation under novelty—as a requirement for sustained alignment. While we assume that all models possess external functions necessary for semantic navigation (e.g., memory, fast and slow reasoning), we prove that only systems complete with respect to the internal functions of the FMI can maintain coherence across recursive cognitive transitions. This constitutes a model-theoretic necessity result: any system that fails to instantiate the full internal structure of the FMI cannot satisfy the coherence-preserving schema ϕ, and therefore cannot maintain reliable alignment under novelty.

Zenodo (CERN European Organization for Nuclear Research)
Openalex Percentile: Top 55%
Computability, Logic, AI Algorithms
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.