Update app.py

app.py

@@ -183,7 +183,16 @@ Example contexts might include:
 - Business applications (profit maximization, inventory management)
 - Social science applications (demographic models, social network analysis)
 - Data science applications (regression, statistical analysis)
-"""
+"""    
+        if question_type == "proof":
+            proof_addition = """
+The proof question MUST:
+- Require a formal mathematical proof
+- Ask to prove the truth of a mathematical statement
+- Focus on demonstrating logical reasoning
+- Require justification for each step
+- Emphasize theoretical understanding
+"""   
             if difficulty == 5:
                 system_prompt = f"""You are an expert mathematics professor creating a graduate-level exam question.
 STRICT REQUIREMENTS:
@@ -200,6 +209,7 @@ STRICT REQUIREMENTS:
    Follow these specific constraints:
    {chr(10).join(f'   - {c}' for c in difficulty_params['constraints'])}
    {application_addition}
+   {proof_addition}
 3. Style Reference:
    Question should be {difficulty_params['example_style']}
 4. The question MUST:
@@ -226,6 +236,7 @@ STRICT REQUIREMENTS:
    Follow these specific constraints:
    {chr(10).join(f'   - {c}' for c in difficulty_params['constraints'])}
    {application_addition}
+   {proof_addition}
 3. Style Reference:
    Question should be {difficulty_params['example_style']}
 4. For LaTeX formatting: