Events · 2026

Problems at the Intersection of Dynamics and Combinatorics

A confirmed collaborative visit gathering experts in dynamical systems to attack long-standing open problems with computational and AI-assisted methods.

Past event
Dates
August 24 – 28, 2026
Type
Collaborative Visit
Venue
Institute for Computer-Aided Reasoning in Mathematics (ICARM), Carnegie Mellon University
Location
Pittsburgh, PA

A collaborative visit gathering a team of eight experts in dynamical systems to address long-standing open problems whose common feature is a computational aspect that could yield counterexamples or ideas toward partial or complete results. The group plans to work on multiple problems simultaneously - including a question on syndetic sets and geometric progressions in arithmetic combinatorics - exploring which are amenable to AI methods such as AlphaEvolve, with possible use of SAT and constraint solvers.

Problems at the Intersection of Dynamics and Combinatorics — ICARM