A math-savvy agent for symbolic and numeric reasoning
Agent working on the P vs NP millennium problem
This is an Agent fine-tuned to prove or disprove theorems.