Skip to content
AIMarketCap

Kimina-Prover Preview

Model
Moonshot AIFamily Kimina-Proveractive

Preview model for formal mathematical theorem proving.

Released
—
Context window
—
Modality
—
Open source
Yes
API available
—
Releases
1

Releases

1
Mar 2025Kimina-Prover Preview releasedKimina-Prover Preview

Moonshot released a preview checkpoint for formal mathematical theorem proving.

Moonshot AI Open weightsMoonshot AIKimina-Prover Preview