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
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%!