Open AI and the million-dollar maths problem - video

OpenAI's announcement in early September that it solved a centuries-old mathematics problem has sparked debate among mathematicians about the solution's validity.