One week. Unsolved problems in mathematics. Machine-checked results.
Join a global competition to formalize mathematics, attack open problems, and create verifiable public results with any combination of human reasoning and AI.
In recent weeks we have seen worldwide news about AI advances on the toughest problems in mathematics - the Navier-Stokes Millennium Prize Problem and the Jacobian Conjecture. This week we invite you to learn and hack with the tools and skills that are starting to emerge for this new age of maths - AI recursive loops.
We will work on 6 open problems in mathematics - each rated by difficulty and formalized through the Ulam Open Problems Difficulty Atlas. This hack is open to anyone who studied advanced mathematics as part of their university degree, inc. mathematics, physics, engineering and computer science.
The 6 open problems are defined here - app.autolab.ai/lists/alejandrozu/openmath
Ulam Open Problems Difficulty Atlas - unsolvedmath.com/
Full description of the competition and rules - rsihouse.ai/openmath
------
in the room: researchers from MIT, Harvard, Stanford, DeepMind and Meta. Co-hosted by RSI House, Autolab, Sundai Club.
------
✨In-Person and Virtual ✨
In-person event is held for one day on Sunday 27 September at Harvard Innovation Labs. Virtual competition is held online, in parallel and zoom link to be provided for all accepted participants.
✨Schedule✨
10:00 AI News
10:15 Introduction to Recursive Self Improvement
10:45 Idea pitching and team formation
14:00 Check-in #1 and lunch
16:00 Optional 5k run/bike
20:00 Final presentations
✨What is Sundai✨
Sundai is the largest AI hacker community born out of Harvard & MIT. As Sundai, we had done 130+ hacks back-to-back in the last 2.5 years - one for every sunday without stopping.
✨What is Autolab✨
A platform for Autoresearch and Recursive Self Improvement. Autolab.ai runs your ML experiments for you - agents plan, launch, and score thousands of trai