Theorem Proving Agent is an AI-powered system that autonomously selects proof strategies and generates formal proofs for mathematical theorems. As part of AI Quotient’s Millennium Math Challenge, it advances automated reasoning to tackle some of the hardest unsolved problems in mathematics.