Logic, programming, and type systems

A framework to turn AI math guesses into checkable, earned proof claims

AI systems can generate proof sketches and formal steps, but those outputs often vary in how much evidence they actually carry. This paper proposes Proof Engine Infrastructure, an architecture that links each claim to a checking procedure and composes only earned results into larger proof goals.