ByteDance Seed·ByteDance-Seed/BFS-Prover-V1-7B
BFS Prover V1 7B weight access is open weights, from ModelCap classification of published repository metadata as of 15 Sept 2026, 20:34 UTC.
Snapshot facts · download the public dataset · methodology
Superseded by BFS Prover V2 7B. It no longer holds a current-board position.
OpenRouter endpoint status could not be refreshed. This model is not treated as currently served until a successful observation arrives.
Current provider status is unavailable.
BES normalizes admitted public benchmark evidence for measured Index rows. Its legacy score and observables prior do not define the public language rank.
These adoption and deployment observations remain context only. They do not change this model's ModelCap Index score or rank.
The bounded 0–100 capability score blends each source’s competitive placement with its published achievement, then combines capability families. Evidence breadth adds a modest uncertainty adjustment; price and popularity are not part of benchmark-led rank.
Experimental estimate. This layer predicts from admitted evidence and safe metadata only. It never enters ModelCap Score or rank.
Missing: deployability.independent-provider-records, deployability.measured-provider-uptime, deployability.published-provider-pricing, deployability.declared-capacity, evaluationProvenance.admitted-evaluation-observations, evaluationProvenance.capability-family-breadth, evaluationProvenance.evaluation-source-diversity, evaluationProvenance.identity-and-source-confidence, evaluationProvenance.evaluation-dataset-revisions.
A metadata completeness and deployability index—not a safety certification, quality grade, or production-readiness claim.
Market Gravity uses OpenRouter’s full-catalogue popularity order. Sparse Vercel top-ten observations appear only when published and do not affect the score.
This model is visible because it is available in the live catalogue, but it has no trustworthy community result yet. ModelCap does not infer a quality score from price, features, or market activity.
OpenRouter weekly popularity across the full model catalogue.
Independent providers versus the model's open or closed cohort, weighted by uptime.
Hugging Face 30-day downloads for open models; neutral for closed models.
Time since first public availability, on a six-month half-life.
Open weights. Downloadable weights are published under an OSI or free-culture license in the current repository metadata. This describes weight availability, not whether the full training stack qualifies as Open Source AI.
BFS Prover V1 7B is a superseded version and is not on the current board as of 15 September 2026. Its archive position, where one exists, is shown on the page; the newer version carries the current rank.
No live API price is listed for BFS Prover V1 7B in the current snapshot as of 15 September 2026 because the latest endpoint refresh was unavailable. ModelCap shows a price only when a provider currently lists one.
Open weights (apache-2.0). Downloadable weights are published under an OSI or free-culture license in the current repository metadata. This describes weight availability, not whether the full training stack qualifies as Open Source AI. The repository is ByteDance-Seed/BFS-Prover-V1-7B on Hugging Face.
BFS Prover V1 7B first appeared in the catalogue on 23 Feb 2025. It has since been superseded by BFS Prover V2 7B. Rank and price movements since then are recorded on the site's changes feed.