Testing Artificial Mathematical Intelligence

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=svF-1ekPqjM


Duration: 0:00
131 views
3

Emily Riehl (Johns Hopkins University)
https://simons.berkeley.edu/talks/emily-riehl-johns-hopkins-university-2025-04-10
Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science

As Thurston describes in his famous essay "On proof and progress in mathematics," the answer to the question "What is it that mathematicians accomplish?" is multifaceted. Inspired by Turing's "Computing machinery and intelligence," we propose a series of tests to help identify whether a generative AI system can meaningfully contribute to the process of doing mathematics.



Other Videos By Simons Institute for the Theory of Computing


2025-05-30Quantum 3
2025-05-30Quantum 2
2025-05-30Foundations 2
2025-05-18Foundations 1
2025-05-01Future Directions In AI Safety Research
2025-04-27Introduction (Sanjit Seshia)
2025-04-23How to Locate Unentanglement | Quantum Colloquium
2025-04-16Talk by Sophie Morel (ENS de Lyon)
2025-04-16Challenges in State-of-the-Art Bit-Precise Reasoning
2025-04-16Talk by Yannick Forster (INRIA)
2025-04-16Testing Artificial Mathematical Intelligence
2025-04-16Adventures with an Automatic Prover
2025-04-16Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
2025-04-16How can Machine Learning Help Mathematicians?
2025-04-16Computer-Assisted Intuition: SAT Solvers in Mathematical Discovery
2025-04-07The Move Toward AGI: Why Large Language Models Surprised Almost Everyone... | Theoretically Speaking
2025-04-07Transformers can learn compositional function
2025-04-07Advancing Diffusion Models for Text Generation
2025-04-07Inference Scaling: A New Frontier for AI Capability
2025-04-07Predicting and optimizing the behavior of large ML models
2025-04-07Mixed-modal Language Modeling: Chameleon, Transfusion, and Mixture of Transformers