Another open source model from China: Kimina-Prover Preview is "the first large formal reasoning model that can reason in a human-like way and prove mathematical theorems rigorously in the Lean 4 language." github.com/MoonshotAI/K... - ThreadSky

aime-hq.bsky.social • 46 days ago

Another open source model from China: Kimina-Prover Preview is "the first large formal reasoning model that can reason in a human-like way and prove mathematical theorems rigorously in the Lean 4 language."

https://github.com/MoonshotAI/Kimina-Prover-Preview

Comments

Posting Rules

Comments

Posting Rules

Reply