We may finally crack Maths. But should we?

Automating mathematical theorem proving has been a long standing goal of artificial intelligence and indeed computer science. It's one of the areas I became very interested in recently. This is because I feel we may have the ingredients needed to make very, very significant progress:a structured search space with clear-cut success criterion that can be algorithmically generated: the language of formal mathematicsa path to obtaining very good heuristics to guide search in the space - LLMs tr...