{"data":{"id":"deepseek-prover-2-671b","name":"deepseek-prover-2-671b","display_name":"DeepSeek Prover V2 671B","description":"A 671B Mixture-of-Experts LLM specialized in mathematical theorem proving using Lean 4, representing DeepSeek's largest open-source formal reasoning model.","creator":"deepseek","family":"deepseek-prover","tier":"","version":"2.0","type":"language","size_in_bn":671,"modalities":{"input":["text"],"output":["text"]},"context_window":160000,"max_output_tokens":null,"tool_use_system_prompt_tokens":0,"output_vector_sizes":[],"knowledge_cutoff":null,"training_data_cutoff":null,"supported_reasoning_efforts":[],"tokenizer":null,"capabilities":{"function_calling":false,"parallel_function_calling":false,"structured_outputs":false,"prompt_caching":false,"reasoning":false,"web_search":false,"computer_use":false,"code_execution":false,"file_search":false,"url_context":false,"assistant_prefill":false,"native_structured_output":false,"adaptive_reasoning":false},"release_date":null,"earliest_deprecation_date":null,"deprecated":false,"has_pricing":true,"provider_count":2,"ids":["deepseek-prover-2-671b","deepseek/deepseek-prover-v2-671b","novita/deepseek/deepseek-prover-v2-671b"],"hf_likes":null,"hf_downloads":null,"hf_downloads_all_time":null,"hf_trending_score":null,"updated_at":"2026-06-19 08:02:10"},"meta":{"updated_at":"2026-06-19","request_id":"0c11927c-c273-4a50-8e67-82d1d8080d20","execution_ms":1}}