Key points are not available for this paper at this time.
. Our work may serve as a model for collaboration between the fields of mathematics and artificial intelligence (AI) that can achieve surprising results by leveraging the respective strengths of mathematicians and machine learning.
Davies et al. (Wed,) studied this question.