Creating a Superhuman AI Mathematician with Sanjeev Arora (2011 ACM Prize in Computing)

Apply to help train AI systems with Alignerr here: https://www.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: https://www.youtube.com/watch?v=q9MJWfo3DCE Princeton Language and Intelligence: https://pli.princeton.edu/ Manuel Blum: https://www.technologyreview.com/2023/10/24/1081478/manuel-blum-theoretical-computer-science-turing-award-academic-advisor/ LEAN: https://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: https://awards.acm.org/award_winners/arora_N027029 Watch Part 1 where Sanjeev talks about his school days and taking the JEE: https://youtu.be/UUtx-Dulb1U Produced by Dr Tom Crawford at the University of Oxford. Tom is Public Engagement Lead at Oxford University Lifelong Learning: https://www.conted.ox.ac.uk/profiles/tom-crawford For more maths content check out Tom's website https://tomrocksmaths.com/ You can also follow Tom on Facebook, Twitter and Instagram @tomrocksmaths. https://www.facebook.com/tomrocksmaths/ https://twitter.com/tomrocksmaths https://www.instagram.com/tomrocksmaths/ With thanks to Sanjeev Arora Heidelberg Laureate Forum Foundation Support Tom's work via Patreon here: https://www.patreon.com/tomrocksmaths