PACE Agent for Adaptive Mathematical Conjecture Exploration

PACE is a research-proving agent that uses a structured loop to revise mathematical objectives and candidate mechanisms during investigation. It employs an evidence-tracking memory to manage assumptions and dependencies, distinguishing between checked premises and exploratory material.