Interestingness in Mathematics - Exploring AI's Role in Mathematical Discovery

Explore the concept of interestingness in mathematics through a seminar presented by Alexander Kurz and Drew Moshier from Chapman University. Delve into the impact of artificial intelligence on mathematical practices, including the implementation of cutting-edge proofs in programming languages like Lean. Examine the potential for machines to independently produce interesting mathematics and discuss the challenges in defining and measuring mathematical interestingness. Investigate how existing archives of formal proofs can be used to create proxies for interestingness, and consider the implications for the future of mathematical research and discovery. Gain insights into the intersection of mathematics, philosophy, and artificial intelligence in this thought-provoking presentation from the Orange County Inland Empire Seminar series in History and Philosophy of Mathematics.