Simons Institute Courses

Lean Tutorial: Introduction to the Lean Theorem Prover

1 rating

Explore the Lean theorem prover in this tutorial from the Simons Institute and SLMath Joint Workshop on AI for Mathematics and Theoretical Computer Science.

• YouTube
• 58 minutes
• Self-Paced
• Free Video

Computational Quantum Chemistry - Classical Gaps, Quantum Opportunities, Open Questions

1 rating

Explore quantum computing's potential to revolutionize molecular simulations and address computational chemistry's most challenging problems.

• YouTube
• 1 hour 13 minutes
• Self-Paced
• Free Video

Neurodiversity, Autism and Child Development - Research and Practice Panel

1 rating

Explore cutting-edge research on neurodiversity and autism through expert insights from leading scientists discussing child development, theory, and practical applications.

• YouTube
• 46 minutes
• Self-Paced
• Free Video

LLM-Guided Reinforcement Learning for Mastery Learning - Large-Scale Field Evidence

1 rating

Discover how LLM-powered AI tutors and personalized learning sequences improved student Python certification performance by 0.15 SD in a large-scale educational experiment.

• YouTube
• 35 minutes
• Self-Paced
• Free Video

Quantum Algorithms for Hamiltonian Simulation - Quantum Colloquium

1 rating

Explore quantum algorithms for Hamiltonian simulation, their applications in chemistry and condensed matter systems, and their impact on solving linear systems and semidefinite programming.

• YouTube
• 1 hour 14 minutes
• Self-Paced
• Free Video

What Information Do the Voices of African Savanna Elephants Communicate?

1 rating

Explore the fascinating world of elephant communication, from husky calls to rumbles, and learn how these vocalizations convey information in African savanna elephants.

• YouTube
• 50 minutes
• Self-Paced
• Free Video

Artificial Stupidity: The New AI and the Future of Fintech

1 rating

Explore the intersection of AI and fintech, examining evolutionary perspectives, adaptive markets, and investor behavior. Gain insights into decision-making, market dynamics, and the future of financial technology.

• YouTube
• 1 hour 28 minutes
• Self-Paced
• Free Video

On Gradient-Based Optimization - Accelerated, Distributed, Asynchronous and Stochastic

1 rating

Explore advanced gradient-based optimization techniques for machine learning, including accelerated, distributed, asynchronous, and stochastic methods, with insights from differential geometry and nonconvex optimization.

• YouTube
• 1 hour 2 minutes
• Self-Paced
• Free Video

Deciding Regular Games - A Playground for Exponential Time Algorithms

1 rating

Explore exponential time algorithms for deciding regular games, examining their applications and implications in system design and analysis.

• YouTube
• 41 minutes
• Self-Paced
• Free Video

A Tutorial on Neurosymbolic Techniques

1 rating

Explore neurosymbolic techniques for synthesizing models and systems, blending neural networks with symbolic reasoning to enhance AI capabilities.

• YouTube
• 1 hour 33 minutes
• Self-Paced
• Free Video

Coin-Flipping in the Brain - Probabilistic Computation and Learning in the Assembly Model

1 rating

Explores how brain noise enables probabilistic computation and statistical learning, using the Assembly Model to demonstrate biologically plausible mechanisms for handling uncertainty and making predictions.

• YouTube
• 43 minutes
• Self-Paced
• Free Video

A NASA Perspective on Quantum Computing - Recent Results in Distributed Computing

1 rating

Explore NASA's quantum computing research, focusing on distributed computing advancements in the quantum CONGEST-CLIQUE Model for optimization problems relevant to space missions.

• YouTube
• 34 minutes
• Self-Paced
• Free Video

Superintelligent Agents Pose Catastrophic Risks - Safety-Guaranteed LLMs

Explore the catastrophic risks of superintelligent AI agents and Yoshua Bengio's proposed safer alternative: a non-agentic "Scientist AI" designed to explain rather than act, potentially accelerating scientific progress while avoiding dangerous agency.

• YouTube
• 1 hour 14 minutes
• Self-Paced
• Free Video

Computational Complexity and Formal Verification

Discover insights from Yannick Forster's talk on AI applications in Mathematics and Theoretical Computer Science at the Simons Institute and SLMath joint workshop.

• YouTube
• 1 hour 3 minutes
• Self-Paced
• Free Video

Adventures with an Automatic Prover: Exploring Walnut Software

Explore Walnut, a free software for rigorously proving claims in number theory and computer science using Buchi arithmetic, with examples of its applications in research and potential integration with other proof assistants.

• YouTube
• 58 minutes
• Self-Paced
• Free Video