Loading transcript...
Click for full transcript
Chapters & Sections (121)
▼
00:02
Musical Introduction and Venue Overview
00:34
Conversation Dynamics About AI in Social Settings
01:07
Spectrum of Public Perceptions on AI
01:38
Personal Role in Introducing AI to Mathematics
02:08
Community Scale and Vision for AI Impact
02:40
Defining Artificial Intelligence for Mathematicians
03:10
Origins of the Term 'Artificial Intelligence'
04:12
Early Naming and Conceptualization by McCarthy
04:43
Connectivism and the Birth of Neural Networks
05:13
Evolution from Simple Functions to Complex Networks
06:14
Neural Network Definition and Universal Approximation Theorem
08:49
Automaton Concept and Ada Lovelace
09:22
Ada Lovelace as First Programmer
09:53
Predictive Quote on Machine-Generated Music
10:24
Explanation of the Turing Test
10:58
Dartmouth Conference and Naming AI
11:28
Perceptron Experiment at MIT/Penn
12:01
Early AI Stagnation and Resurgence in the 1980s
13:04
Deep Blue vs. Human Chess Players
13:34
AlphaGo and the Challenge of Go
14:04
Mathematics Defined by G.H. Hardy
15:07
AI-Driven Mathematics and Future Directions
16:11
Personal Journey into AI and Machine Learning
17:14
Applying AI to Computational Geometry
17:46
Neural Network Predicts Topological Invariance
18:00
Author’s First AI‑Mathematics Paper (2017)
18:48
Writing a Textbook as a Learning Tool
19:20
Book Sales and Academic Publishing Commentary
19:51
Promotion of Two AI‑Mathematics Books
20:21
Euclid’s Axiomatic Approach to Geometry
20:53
Bottom‑Up Construction of Mathematical Statements
21:24
Russell and Whitehead’s Principia Mathematica Overview
22:26
Challenges of Reading Principia Mathematica as a Student
23:29
Gödel’s Incompleteness Theorem and Its Implications
24:32
Church and Turing’s Extensions to Formal Systems
26:03
1956 Dartmouth Conference and the Logical Theory Machine
26:33
Early Computer‑Assisted Theorem Proving Achievements
27:05
Limits of Early Computing on Principia Mathematica
27:36
Modern Devices Surpassing Historical Space Missions
28:07
Collaborative Efforts Behind Mathlib Development
28:38
From Axiomatization to the Xeno Project
29:08
Corpus of Undergraduate Mathematics in Mathlib
29:38
Proof Consistency Checks via Lean
30:11
Scale of the Mathlib Codebase and Future AI Integration
32:16
Historical Philosophies: Formalism vs Intuitionism
34:22
Intuition‑Based Mathematics as Experimental Science
35:55
Arnold Quote on Cheap Physics
36:26
Using Mobile Software for Number Theory
36:59
Gauss's Prime Counting Plot
38:00
Deriving x/log x and Regression
39:01
Waiting 50 Years for Complex Analysis
40:05
Milestone of Experimental Mathematics
41:07
Riemann Hypothesis Footnote Experiment
42:11
BST Conjecture via Early Computers
44:19
Meme as Metaphor for Experimental Mathematics
44:51
AI’s Role in Problem Discovery
45:53
DeepMind Collaboration on Knot Invariants
46:24
Organizing a Conference to Test AI Discovery
47:25
Defining the Birch Test Criteria
48:30
Interpretability and Non‑Triviality Requirements
49:59
DeepMind Paper’s Near Miss
51:04
Elliptic Curve Data from LMFDB
51:54
Formulating a Precise Conjecture via AI Techniques
52:35
First AI Conjecture and the Birch Test
53:07
Memoration Conjecture Explained
53:41
Meta Mathematics and Large Language Models
54:11
Can LLMs Perform Rigorous Math?
54:42
Turing Test and Language Model Capabilities
55:13
AI in the International Math Olympiad Context
55:47
Alpha Geometry and Alpha Proof Achievements
56:18
Gemini Deep Think Gold Medal Performance
56:49
AI Solving High School Level Problems
57:21
Frontier Math Project Overview
57:52
Tier Four Secret Meeting Setup
58:25
Designing Tier Four Mathematical Problems
58:57
Evaluating AI on Precise Numerical Questions
59:27
Tier Four Benchmark Results and Impact
1:00:00
Philosophical Questions About AI Reasoning
1:00:31
Complexity of Tier Four Problems for Mathematicians
1:01:33
Frontier Math Milestones and Upcoming Releases
1:02:04
AI’s Role in Advancing Mathematical Discovery Since 2017
1:02:36
Using GPT for Experimental Mathematics and Citation Retrieval
1:03:06
Collaborative Proof Development with GPT in Combinatorics
1:03:38
Conservative Funding Landscape for AI-Mathematics Research
1:04:40
Global Centers Supporting AI in Mathematics
1h 11m
58m
59m
59m
52m
48m⏭ 1
1h 20m
3h 13m⏭ 2
1h 40m⏭ 3
31m⏭ 1
1h 22m
1h 16m⏭ 4
1h 50m⏭ 3
47m
18m
4h 6m⏭ 2
2h 15m⏭ 2