Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Watch a Harvard CMSA seminar presentation where Stanford University Computer Science researcher Gabriel Poesia introduces Peano, an innovative theorem proving environment designed for autonomous learning. Discover how computational agents can begin with no prior knowledge, develop problem-solving abilities through curiosity-driven exploration, and generate their own sophisticated reasoning strategies. Explore case studies demonstrating Peano's application to Khan Academy algebra problems and learn about ongoing research applying the system to the Natural Number Game, a popular introduction to formal theorem proving in the Lean programming language. Gain insights into how artificial intelligence can learn mathematical reasoning without relying on human training data.
