Uploaded January 2026 | Updated September 2026, 2 weeks ago
Apply to help train AI systems with Alignerr here: alignerr.com/?referral-source=tomrocksmaths
Sanjeev Arora - the director of Princeton Language and Intelligence - talks about his current research on the development of a Superhuman AI Mathematician. Sanjeev received the 2011 ACM Prize in Computing for his work in computational complexity.
Interview with Dr Tom Crawford, a mathematician at the University of Oxford and the University of Cambridge.
Recorded at the 2025 Heidelberg Laureate Forum.
HLF 12 Sparks Session: youtube.com/watch?v=q9MJWfo3DCE
Princeton Language and Intelligence: https://pli.princeton.edu/
Manuel Blum: technologyreview.com/2023/10/24/1081478/manuel-blum-theoretical-computer-science-turing-award-academic-advisor
LEAN: lean-lang.org
Terence Tao and Alex Kontorovich Prime Number Theorem project: https://mathstodon.xyz/@tao/111847680248482955
AI vs IMO: https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/
ACM Award: awards.acm.org/award_winners/arora_N027029
Watch Part 1 where Sanjeev talks about his school days and taking the JEE: youtu.be/UUtx-Dulb1U
Produced by Dr Tom Crawford at the University of Oxford. Tom is Public Engagement Lead at Oxford University Lifelong Learning: conted.ox.ac.uk/profiles/tom-crawford
For more maths content check out Tom's website tomrocksmaths.com
You can also follow Tom on Facebook, Twitter and Instagram @tomrocksmaths.
facebook.com/tomrocksmaths
twitter.com/tomrocksmaths
instagram.com/tomrocksmaths
With thanks to
Sanjeev Arora
Heidelberg Laureate Forum Foundation
Support Tom's work via Patreon here: patreon.com/tomrocksmaths
Apply to help train AI systems with Alignerr here: alignerr.com/?referral-source=tomrocksmaths
Sanjeev Arora - the director of Princeton Language and Intelligence - talks about his current research on the development of a Superhuman AI Mathematician. Sanjeev received the 2011 ACM Prize in Computing for his work in computational complexity.
Interview with Dr Tom Crawford, a mathematician at the University of Oxford and the University of Cambridge.
Recorded at the 2025 Heidelberg Laureate Forum.
HLF 12 Sparks Session: youtube.com/watch?v=q9MJWfo3DCE
Princeton Language and Intelligence: https://pli.princeton.edu/
Manuel Blum: technologyreview.com/2023/10/24/1081478/manuel-blum-theoretical-computer-science-turing-award-academic-advisor
LEAN: lean-lang.org
Terence Tao and Alex Kontorovich Prime Number Theorem project: https://mathstodon.xyz/@tao/111847680248482955
AI vs IMO: https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/
ACM Award: awards.acm.org/award_winners/arora_N027029
Watch Part 1 where Sanjeev talks about his school days and taking the JEE: youtu.be/UUtx-Dulb1U
Produced by Dr Tom Crawford at the University of Oxford. Tom is Public Engagement Lead at Oxford University Lifelong Learning: conted.ox.ac.uk/profiles/tom-crawford
For more maths content check out Tom's website tomrocksmaths.com
You can also follow Tom on Facebook, Twitter and Instagram @tomrocksmaths.
facebook.com/tomrocksmaths
twitter.com/tomrocksmaths
instagram.com/tomrocksmaths
With thanks to
Sanjeev Arora
Heidelberg Laureate Forum Foundation
Support Tom's work via Patreon here: patreon.com/tomrocksmaths
