Computer-Assisted Intuition: SAT Solvers in Mathematical Discovery

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
69,000
Published on ● Video Link: https://www.youtube.com/watch?v=MlGcHr2Qh3o


Duration: 0:00
129 views
4

Bernardo Subercaseaux (CMU)
https://simons.berkeley.edu/talks/bernardo-subercaseaux-cmu-2025-04-08
Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science

Mathematical intuition is often sparked by examples and counterexamples. The bad news? Constructing good examples can be difficult. The good news? SAT solvers and automated reasoning tools can help. In this talk, I will demonstrate how SAT solvers can generate insightful constructions in discrete mathematics, leading to new conjectures and concrete results. Through a series of case studies, we will see how computational search can challenge intuition, suggest patterns, and even guide mathematical discovery.



Other Videos By Simons Institute for the Theory of Computing


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
2025-04-07Reducing the Dimension of Language: A Spectral Perspective on Transformers
2025-04-07LLM skills and meta-cognition: scaffolding for new forms of learning?
2025-04-07The Key Ingredients of Optimizing Test-Time Compute and What's Still Missing
2025-04-07Controllable and Creative Natural Language Generation