Looks like it is available here: https://www.dailymotion.com/video/x3wrbsb | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		martinpw 6 days ago \| parent \| context \| favorite \| on: Formalizing Fermat's Last Theorem Looks like it is available here: https://www.dailymotion.com/video/x3wrbsb
		help

AmazingEveryDay 6 days ago [–]

Also: https://archive.org/details/BBCHorizonCollection512Episodes/...

tonyedgecombe 6 days ago | [–]

Also https://www.bbc.co.uk/iplayer/episode/b0074rxx/horizon-19951... (if you are in the UK).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact