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
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
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