changed the model

app.py

@@ -1,5 +1,5 @@
 
-from smolagents import (CodeAgent, HfApiModel, tool, GradioUI)
+from smolagents import (CodeAgent, InferenceClientModel, tool, GradioUI)
 import os
 
 HF_TOKEN = os.environ.get("HFRTOKEN")
@@ -25,7 +25,11 @@ def tell_location()->any:
         return timezone
 
 
-model = HfApiModel(model_id="deepseek-ai/DeepSeek-R1-Distill-Qwen-32B",token=HF_TOKEN, custom_role_conversions=None, provider="hf-inference")
+# model = HfApiModel(model_id="deepseek-ai/DeepSeek-R1-Distill-Qwen-32B",token=HF_TOKEN, custom_role_conversions=None, provider="hf-inference")
+
+model = InferenceClientModel(model_id="deepseek-ai/DeepSeek-Prover-V2-671B",
+                                     provider="together",
+                                     token=HF_TOKEN)
 
 agent = CodeAgent(model=model, tools=[greet_someone, tell_location])