I am thrilled to see @GoogleDeepMind build on our work in several instances to strengthen contributions to AI+Science and Math: 1. More than a year ago, we released the first open-source framework, https://
leandojo.org, using Lean+LLM for theorem proving and an AI Lean

→ View original post on X — @animaanandkumar