The Annals Published It. It Wasn't True. - Kevin Buzzard
Kevin Buzzard (Imperial College London) on what happened when 50 theorems from the Annals of Mathematics were written down in the Lean proof assistant: theorems by four Fields medallists turned out to be false as stated, because of small missing hypotheses that any expert would silently fill in. 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
Discussion
Rejoins la communauté pour réagir et poser tes questions.
Aucun message pour l'instant. Lance la discussion !