Erdos Problem 1196: Can AI now solve maths that no human can?

Description

It’s said that AI could soon be coming for the jobs of artists, lawyers, and software engineers. But it might now also be threatening a role at the height of academia – are pure mathematicians safe? Last month, a Stanford mathematician woke up to an email, claiming to have the solution to a problem he'd been working on for seven years - a fifty-year-old conundrum known as "Erdos Problem 1196". The answer had been generated in just 80 minutes - by ChatGPT. Since the end of last year, AI has been providing solutions to a number of novel maths problems, but Problem 1196 is the first to raise eyebrows within the mathematical community. In this episode, we talk to the mathematicians who've worked on Problem 1196 and find out what the rise of AI could mean for the future of their field. CONTRIBUTORS: Katie Steckles, Mathematician and communicator Jared Duker Lichtman, Szegő Assistant Professor of Mathematics at Stanford University Liam Price, amateur mathematician Credits:Presenter: Charlotte McDonald Producer: Josh McMinn Series producer: Tom Colls Production co-ordinator: Brenda Brown Sound mix: Dave O'Neill Editor: Richard Vadon