Unlock the full potential of AI with Building LLMs for Production—our 470+ page guide to mastering LLMs with practical projects and expert insights!


Mathematical Reasoning With AI
Latest   Machine Learning

Mathematical Reasoning With AI

Last Updated on July 26, 2023 by Editorial Team

Author(s): Teemu Maatta

Originally published on Towards AI.

New neural theorem proving techniques lead towards AGI.

This member-only story is on us. Upgrade to access all of Medium.

Photo by Louis Vanleer on Unsplash


Mathematics is a challenge to AI research due to (a) infinite action space & (b) lack of self-play.

Yet, the AGI implies the ability for mathematical reasoning.

Lean, Metamath, and Equations are environments used for proving formal mathematical theorems.

Such tools offer high-level tactics to apply to the problem. The algorithm solves theorems by generating a set of tactics without human interaction.

Let’s review three techniques for automated neural theorem proving:

Expert iteration applied with GPT-fHyperTree Proof Search with online training (Evariste)Chain of thought-prompting applied with the PaLM model

Expert… Read the full blog for free on Medium.

Join thousands of data leaders on the AI newsletter. Join over 80,000 subscribers and keep up to date with the latest developments in AI. From research to projects and ideas. If you are building an AI startup, an AI-related product, or a service, we invite you to consider becoming a sponsor.

Published via Towards AI

Feedback ↓