Probabilistic Results on the Architecture of Mathematical Reasoning Aligned by Cognitive Alternation

AlphaGo has made ground-breaking establishment in the large searching space problems at the game of Go[1][2]. This is followed by ChatGPT earlier this year, gaining attraction and popularity among both individuals and scientists [3][4][5][6][7][8]. We are also gratified to witness the involvement of artificial intelligence in scientific research assisting humans, summarized in the latest Nature article[9]. It is time for us to undertake the task of building a machine that is capable of solving mathematical problems and exercises. Google Research has posted two versions of pre-prints on machines of mathematical reasoning[10].