# deepseek/deepseek-prover-v2-671b

Calls to the model deepseek/deepseek-prover-v2-671b on Novita AI stopped working on June 19, 2026.

Novita AI retired model deepseek/deepseek-prover-v2-671b on June 19, 2026. Calls requesting this model fail since that date. The change affects all requests directed to this specific identifier.

## What to use instead

Move to deepseek/deepseek-v4-pro, which is recommended by Novita.

- API: Novita AI (api.novita.ai)
- Model: deepseek/deepseek-prover-v2-671b
- Kind: Model retirement
- Takes effect: June 19, 2026
- Calls after that day: fail
- Calls it hits: `model deepseek/deepseek-prover-v2-671b`
- Source: [Model notices](https://novita.ai/docs/llms-full.txt#deprecation-notice)
- Verified: November 6, 2026, against Novita AI's own pages
- Page: https://www.okapi.bot/models/novita-ai/deepseek/deepseek-prover-v2-671b/

## Novita AI's words

> Deprecated model: deepseek/deepseek-prover-v2-671b; Recommended alternative: deepseek/deepseek-v4-pro

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