MATH-AI

Beyond human-level: Is human-level reasoning the right goal for all aspects of mathematics?... Specifically, the goal of this workshop is to find out "when machines can surpass human experts in different mathematical domains?"... Mathematical reasoning is a core ability of human intelligence and plays an important role in the development of general machine intelligence. The machine learning community has contributed significantly to mathematical reasoning research in the last decades, and recently, there has been a surge of interest in this domain. For example, large neural models have led to rapid progress in areas ranging from word problems to formal theorem proving. However, there is a large performance gap between models and top mathematicians.