Update app.py

app.py

@@ -152,8 +152,8 @@ iface = gr.Interface(
     fn=theorem_prover, 
     inputs=gr.Textbox(label="Enter the theorem you want to prove or disprove"), 
     outputs=gr.Markdown(label="Agent's response"),  # Output as HTML
-    title="Theorem proving agent",
-    description="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.",
+    title="PolyProb",
+    description="PolyProb is an advanced AI agent that guides users through the intricate maze of computational complexity. This agent scrutinizes problem descriptions with sophisticated LLM prompts and symbolic reasoning. It classifies problems into categories such as P, NP, NP-complete, NP-hard, or beyond (e.g., PSPACE, EXPTIME), while providing clear, concise explanations of its reasoning. As part of AI Quotient’s Millennium Math Challenge, it is the first step towards solving the P vs NP problem",
     theme = gr.themes.Ocean(),
     examples = ["Every prime number greater than 2 is odd.", "The sum of two rational numbers is always rational.", "The power set of any set has strictly greater cardinality than the set itself."]
 )