Mathematical Reasoning With AI

New neural theorem proving techniques lead towards AGI.

Photo by Louis Vanleer on Unsplash

Introduction

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.