This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- COMPUTER MATHEMATICS, AI AND FUNCTIONAL PROGRAMMING by Moa Johansson ABSTRACT How do you know that a mathematical proof is correct? And how do we find a nice elegant proof in the first place? Can computers help us with this? Solving mathematical problems was in fact one of the tasks adressed by the earliest AI systems developed already in the 1950’s. In this talk I will give a brief history of computer mathematics and how it connects to the development of early functional programming languages like Standard ML. I will also talk about some of my current research in how we can get computers to act creatively in the domain of mathematics; not only reason about given facts, as historically has been the case, but also invent and prove new interesting facts. To achieve this, we use tools like Haskell’s QuickCheck to allow our system, Hipster, to explore and test its way towards promising conjectures. Read the full abstract: http://www.lambdadays.org/lambdadays2019/moa-johansson --- THE SPEAKER - MOA JOHANSSON Researcher at Chalmers University Moa Johansson is an associate professor at Chalmers University in Gothenburg, Sweden. She’s interested in AI applied to mathematics and reasoning about functional programs. More on Moa Johansson: http://www.lambdadays.org/lambdadays2019/moa-johansson --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Haskell #AI #QuickCheck