咖啡

A Three-Layer Dependency-and-Logic Audit for Mathematical Proofs and AI-Generated Claims: The S/M/P × D/L Framework

We introduce a structured audit framework for mathematical proofs, conjectures, and AI-generated mathematical claims. The framework operates on three layers—Semantic, Mathematical, and Programming—and for each layer examines two complementary dimensions: internal Dependency relat...