On April 15, Kimina-Prover, the mathematical theorem proving model developed by Kimi on Moonshot AIn in collaboration with the Numina team, was released in preview. The model achieved 80.7% on MiniF2F, the benchmark test for proving mathematical theorems, beating the previous best Level (SOTA) model by 10.6% and setting a new high
Share this post
Moonshot AI Kimi releases new model Kimina-Prover Preview
Share this post
On April 15, Kimina-Prover, the mathematical theorem proving model developed by Kimi on Moonshot AIn in collaboration with the Numina team, was released in preview. The model achieved 80.7% on MiniF2F, the benchmark test for proving mathematical theorems, beating the previous best Level (SOTA) model by 10.6% and setting a new high
.