SEMF | Are Computer Proofs Useful for Human Understanding? | Carlos Zapata, Kevin Buzzard @SEMF | Uploaded September 2021 | Updated October 2024, 16 hours ago.
Extract from "Teaching Computers about Numbers" kindly contributed by Kevin Buzzard in SEMF's 2021 Numerous Numerosity: semf.org.es/numerosity

Full talk: youtube.com/watch?v=YUtcm3Hlywk

KEVIN BUZZARD
Department of Mathematics (Imperial College London): imperial.ac.uk/mathematics
Department of Mathematics profile: imperial.ac.uk/people/k.buzzard
Wikipedia article: en.wikipedia.org/wiki/Kevin_Buzzard
ResearchGate: researchgate.net/profile/Kevin-Buzzard
Google Scholar: scholar.google.co.in/citations?user=sLE_ucoAAAAJ&hl=en

SEMF NETWORKS
Website: semf.org.es
Twitter: twitter.com/semf_nexus
LinkedIn: linkedin.com/company/semf-nexus
Instagram: instagram.com/semf.nexus
Facebook: facebook.com/semf.nexus