Rita Ahmadi at Aeon:
Interest in an AI-driven approach to mathematics has been exponential, and many mathematicians have left traditional academic research to explore its potential. Recently, one group of distinguished mathematicians designed 10 active, research-level questions for AI to tackle. At the time of writing, various AI companies and researchers had claimed to find solutions, which were under evaluation by the community.
Sitting in the room in Bloomsbury, I stared at the Hardy plaque and wondered: would Hardy find proofs generated by AI beautiful? I wasn’t sure. He believed there should be a strong aesthetic judgment in mathematics, drawing parallels with poetry, and argued that beauty is the first test of good mathematics. He went as far as to say that there is no permanent place in the world for ugly mathematics.
If asked, many mathematicians today still talk about the aesthetic appeal of one approach over another.
Yet we live in a different century to Hardy and his Bloomsbury peers, with different technologies and techniques, so perhaps we need a clearer definition of what mathematical beauty actually is.
More here.
Enjoying the content on 3QD? Help keep us going by donating now.