Please help us continue having these discussions by supporting us over on Patreon: https://www.patreon.com/c/SolomonSmith
Kirwin's article on mathematics is available here: https://kirwinhampshire.substack.com/p/the-dark-night-of-mathematics
In this episode of Solomon and Smith, Jack and Milo speak with Kirwin Hampshire, mathematics PhD and author of the Substack Ossuray Lost at Sea.
Is mathematics discovered or invented? Is it a formal game, a spiritual art form, a machine for generating truth, or the highest expression of human creativity? And what happens when AI begins solving open problems, producing counterexamples, and doing the thing mathematicians thought belonged to the strange, private, intuitive life of the mind?
We discuss what a number is, why mathematics feels certain in a way other forms of knowledge often do not, whether infinity and zero expand the limits of thought, and why mathematical discovery can feel closer to art, wizardry, or religious revelation than to ordinary technical work. Then we turn to the nightmare: AI-generated mathematics, the psychology of being scooped by a machine, and the possibility that human mathematicians may be reduced to checking, verifying, and understanding what machines have already produced.
Is AI killing maths? Or is it revealing what mathematics really was all along?
Topics include: AI and mathematics, mathematical creativity, open problems, counterexamples, proof, intuition, infinity, zero, Gödel, Cantor, mathematical beauty, the philosophy of maths, AI art, chess engines, human purpose, dangerous knowledge, truth versus goodness, and whether machines are about to ruin the most beautiful thing humans ever made.
Chapters:
00:00 AI and the human gap
01:15 Introduction
05:58 The challenge
07:37 Kirwin enters
10:00 Poetic epigraph
11:37 What is a number?
17:11 Maths, mind, and reality
20:37 Mathematics as creativity
22:30 Infinity and the machinery of thought
26:45 Falling in love with maths
32:15 Discovery, invention and the unfinished painting
37:14 Has maths become too arcane?
41:35 AI enters mathematics
44:11 AI counterexamples and open problems
49:39 Chess, machines and the loss of spark
52:36 Humans as the AI’s assistant
57:22 Intuition and the human gap
1:02:34 Dangerous truth and the Copernican trauma
1:06:50 The Impossible Luddite
1:13:40 Why does AI hurt?
1:16:12 Is AI just another tool?
1:21:17 Truth, beauty and incompatible desires
1:24:08 Process versus result
Performance of the second movement from Bartók's second quartet by the Carmel Quartet, used under the following license: https://creativecommons.org/licenses/by/3.0/deed.en