Researcher collaborating on AI-assisted mathematical discovery, proof development, and formal verification.