“Used to formalize and validate the correctness of AI-generated mathematical results.”