Aşkar, Aykut: Skeleton-Aware Artificial Intelligence: Implementing Structural Negentropy for Cross-Domain Automated Theorem Proving

Current Artificial Intelligence (AI) systems, including Large Language Models (LLMs) and neuro-symbolic Automated Theorem Provers (ATPs), face severe limitations regarding semantic preservation and out-of-distribution reasoning. When attempting to transfer inferential logic across heterogeneous mathematical domains, these systems frequently suffer from "semantic hallucinations" and catastrophic forgetting. This vulnerability stems from an underlying axiomatic blindness: neural architectures proc