Image of a person in the sky dangling from two large blue balloons in the shape of the letters A and I.
Safety of GenAI through the Lens of Security and Cryptography
On the right is Kaiyu Yang presenting at a lectern, and on the left is the blue brain logo for the workshop AI for Mathematics and Theoretical Computer Science.
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
On the right is Giles Gardam presenting, and on the left is the blue brain logo from the workshop AI for Mathematics and Theoretical Computer Science.
Solving Semidecidable Problems in Group Theory
Venkat Wider Aspect Ratio
Letter from the Director, May 2025
Ewin Tang
Ewin Tang Awarded 2025 Maryam Mirzakhani New Frontiers Prize
Simons Institute and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science
Venkat Wider Aspect Ratio
Letter from the Director, April 2025
A photo of Sasha Rush wearing headphones
Sasha Rush | Polylogues
Superintelligent Agents Pose Catastrophic Risks — Can Scientist AI Offer a Safer Path?
A Local Automaton for the 2D Toric Code