Sundai Hack 142 - Recursive Self Improvement and Formal Verification in Mathematics

With guests: Stephen Wolfram and Alejandro Zarzuelo Urdiales.

--

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. Most mathematicians were shocked. 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 developed by Alejandro which will form the basis of the competition. 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 - https://app.autolab.ai/lists/alejandrozu/openmath
Ulam Open Problems Difficulty Atlas - https://www.unsolvedmath.com/

✨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 Club is the largest MIT / Harvard AI hacker group that meets every Sunday to build a new AI app from scratch by the end of the day. We have done 130+ hacks back-to-back over the last 2.5 years, one every Sunday without stopping.

✨Our Mission at Sundai✨
"Push the envelope of what is possible to do with AI in a day."

• Grow the Best Hackers. Learn to build fast with AI.
• Build Things That Matter. Users / $$$ / GitHub ⭐️s
• Spread the Hacker Mindset. Teach the skills that we learn at MIT and beyond.

✨Our Principles✨

• Build. The purpose of Sundai is to get together and build things. Every Sunday.
• Ship. Get off localhost. Deploy a simple web app demo that works on the internet. Go for less to do more.
• Shortcuts. A shortcut is an ingenious move that a hacker makes to build a system that works. To build fast, you always need to think in shortcuts.

✨Our Story✨
Read our story

✨History of Hacking at MIT✨
Read the history

✨Our Constitution✨
Read the Sundai Constitution

Terms of Participation
By joining this event, you agree to take care and be vigilant about the following:

• Leave the room as you found it. All whiteboards, chairs, and tables must be cleaned and rearranged as you found them. All trash must be placed in the bin.
• Do not let any strangers enter any building behind you where Sundai is taking place. If you see anyone you do not recognize who seems suspicious, please let us know immediately.
• Use only the spaces dedicated to the Sundai hack. If unsure, ask explicitly.
• Be respectful and considerate of others who may be in the building studying or working.
• If unsure, always ask.

You agree to these rules by coming to the event. Please read the full terms of participation.