Kimi from Moonshot AI has partnered with the Numina team to release Kimina-Prover Preview. The mathematical theorem proving model sets a new record on MiniF2F benchmark with an 80.7% score, beating SOTA by 10.6%!

Editor: Gao Han