I apologize in advance if the question is too naive or not suitable for this website.
There are many artificial intelligence programs whose performance in chess exceeds the best humans at chess (Alphazero comes to mind). As far as I know, there is no such thing as in the domain of mathematics. Why is this the case ? ie what distinguishes the domain of chess from the domain of mathematics from a computational point of view ? After all, mathematics (from a formalist point of view) is very similar to chess as a game in the sense that you start from axioms (similar to the inital position jn a chess game) and manipulate them using the rules of inference of first order logic (similar to rules of chess on how to move pieces)