We have precisely done that. Our Leandojo is the first open-source LLM for theorem proving: so 100% accurate and certified proofs of math theorems. We will soon be launching the co-pilot as well at Neurips. Stay tuned. https://
leandojo.org

→ View original post on X — @animaanandkumar