# deepseek-ai/deepseek-prover-v2-671b

Calls to the model deepseek-ai/deepseek-prover-v2-671b on DeepInfra stopped working on September 29, 2026.

DeepInfra retired the model deepseek-ai/deepseek-prover-v2-671b on September 29, 2026. Calls to this model fail since that day.

## What to use instead

Move to deepseek-ai/DeepSeek-V4.1-Flash, which is recommended by DeepInfra.

- API: DeepInfra (api.deepinfra.com)
- Model: deepseek-ai/deepseek-prover-v2-671b
- Kind: Model retirement
- Takes effect: September 29, 2026
- Calls after that day: fail
- Calls it hits: `model deepseek-ai/deepseek-prover-v2-671b`
- Source: [Model list](https://api.deepinfra.com/models/list)
- Verified: November 6, 2026, against DeepInfra's own pages
- Page: https://www.okapi.bot/models/deepinfra/deepseek-ai/deepseek-prover-v2-671b/

Okapi finds the calls this change hits in your repo and opens the pull request with the fix: https://github.com/apps/okapi-agent