Correct Isn't Enough. I Want the Reason. - Paul Lessard #podcast #science

Paul Lessard on what he actually wants from AI in mathematics. Proofs that don't get it wrong aren't enough: he wants provenance, the reason a machine reaches a particular answer. Machine-generated proofs may have their uses, but once you're doing real mathematics, human understanding stays at the centre, because someone still has to understand it. From our documentary "Mathematics Just Changed Forever" with Kevin Hartnett, Kevin Buzzard, Jeremy Avigad, Leo de Moura and Paul Lessard. Watch the full conversation: https://www.youtube.com/watch?v=IRJDwtAreB4