Will Computers Outsmart Mathematicians?

An episode of the Gresham College Lectures podcast, hosted by Gresham College, titled "Will Computers Outsmart Mathematicians?" was published on January 20, 2021 and runs 54 minutes.

January 20, 2021 ·54m · Gresham College Lectures

0:00 / 0:00

Summary

Humans use computers to do gigantic calculations which would be impossible to do by hand - for example, weather prediction. But could an AI go beyond that and come up with a proof of a theorem which has stumped humankind? Could computers suggest how to attack problems, searching knowledge bases for known results? As automatic and interactive computer theorem provers become more powerful, should mathematical researchers begin to worry that they will soon be out of a job? A lecture by Kevi...

Episode Description

Humans use computers to do gigantic calculations which would be impossible to do by hand - for example, weather prediction.

But could an AI go beyond that and come up with a proof of a theorem which has stumped humankind? Could computers suggest how to attack problems, searching knowledge bases for known results?

As automatic and interactive computer theorem provers become more powerful, should mathematical researchers begin to worry that they will soon be out of a job?

A lecture by Kevin Buzzard 20 January

The transcript and downloadable versions of the lecture are available from the Gresham College website:
https://www.gresham.ac.uk/lectures-and-events/smart-computers

Gresham College has been giving free public lectures since 1597. This tradition continues today with all of our five or so public lectures a week being made available for free download from our website. There are currently over 2,000 lectures free to access or download from the website.

Website: http://www.gresham.ac.uk
Twitter: http://twitter.com/GreshamCollege
Facebook: https://www.facebook.com/greshamcollege
Instagram: http://www.instagram.com/greshamcollege

Support the show

Share this episode

Similar Episodes

Apr 11, 2026 ·26m

Apr 11, 2026 ·63m

Apr 11, 2026 ·25m

Apr 11, 2026 ·18m

Apr 11, 2026 ·64m

Apr 11, 2026 ·68m

Similar Podcasts

Christianity and Liberalism by John Gresham Machen (1881 - 1937) LibriVox The purpose of this book is not to decide the religious issue of the present day, but merely to present the issue as sharply and clearly as possible, in order that the reader may be aided in deciding it for himself...In the sphere of religion, in particular, the present time is a time of conflict; the great redemptive religion which has always been known as Christianity is battling against a totally diverse type of religious belief, which is only the more destructive of the Christian faith because it makes use of traditional Christian terminology. This modern non-redemptive religion is called “modernism” or “liberalism.”...we shall be interested in showing that despite the liberal use of traditional phraseology, modern liberalism not only is a different religion from Christianity but belongs in a totally different class of religions. - Summary Adapted from Introduction Doctor Thorne Anthony Trollope Doctor Thorne is the third of Trollope's Barsetshire novels, and unlike some of the others, has little to do with the politics and personalities of the Church of England, or politics on the national level (though there is lots of politicking in the mythical county of Barsetshire itself). The plot revolves around the illegitimate Mary Thorne, who has been lovingly raised by her uncle, a country doctor, and who, as she comes of age, finds herself wondering whether she is a lady (in the county sense of the term). Frank Gresham, son of the squire of Greshamsbury, is in love with her (much against the wishes of his noble de Courcy relatives at the Castle), but she dismisses his affection at first as mere puppy love, thereby setting the scene for a series of entanglements, social, romantic, and of course, financial and propertied (never far from the action in Trollope's works). Their resolution, of course, makes up the meat of the novel. One critic has remarked that in Doctor Thorne Troll

URL copied to clipboard!