Sum Of Odd Numbers Proof

Prove that the sum of the first n odd numbers equals n squared, comparing gpt-4o built-in chain-of-thought with a deepseek-reasoner reasoning model.

Demonstrates built-in and DeepSeek-backed reasoning for mathematical proofs.

mathematical_proof.py

"""
Sum Of Odd Numbers Proof
========================

Demonstrates built-in and DeepSeek-backed reasoning for mathematical proofs.
"""

from agno.agent import Agent
from agno.models.deepseek import DeepSeek
from agno.models.openai import OpenAIChat

# ---------------------------------------------------------------------------
# Create Agents
# ---------------------------------------------------------------------------
task = "Prove that for any positive integer n, the sum of the first n odd numbers is equal to n squared. Provide a detailed proof."

cot_agent = Agent(
    model=OpenAIChat(id="gpt-4o"),
    reasoning=True,
    markdown=True,
)

deepseek_agent = Agent(
    model=OpenAIChat(id="gpt-4o"),
    reasoning_model=DeepSeek(id="deepseek-reasoner"),
    markdown=True,
)

# ---------------------------------------------------------------------------
# Run Agents
# ---------------------------------------------------------------------------
if __name__ == "__main__":
    print("=== Built-in Chain Of Thought ===")
    cot_agent.print_response(task, stream=True, show_full_reasoning=True)

    print("\n=== DeepSeek Reasoning Model ===")
    deepseek_agent.print_response(task, stream=True, show_full_reasoning=True)

Run the Example

1. Set up your virtual environment

   Mac

   uv venv --python 3.12
   source .venv/bin/activate
   

   uv venv --python 3.12
   .venv\Scripts\activate
   
2. Install dependencies

   uv pip install -U agno openai
   
3. Export your API keys

   Mac/Linux

   export DEEPSEEK_API_KEY="your_deepseek_api_key_here"
   export OPENAI_API_KEY="your_openai_api_key_here"
   

   $Env:DEEPSEEK_API_KEY="your_deepseek_api_key_here"
   $Env:OPENAI_API_KEY="your_openai_api_key_here"
   
4. Run the example

   Save the code above as mathematical_proof.py, then run:

   python mathematical_proof.py
   

Full source: cookbook/10_reasoning/agents/mathematical_proof.py