Recursive Self Improvement Hack - Formal Verification in Mathematics
🇺🇸 Boston,
United States
#3524
Nomad Score
6.5
Coords
42.3601000, -71.0589000
Likes
👍 0 👎 0
Actions
📅 RECURSIVE SELF IMPROVEMENT HACK - FORMAL VERIFICATION IN MATHEMATICS
Starts
Sep 27, 2026 2:00 PM
Ends
Sep 28, 2026 2:00 AM
Type
In person
Views
0
Category
🚀 Tech & Startups
City
🇺🇸 Boston
ICS URL
DESCRIPTION
One week. Unsolved problems in mathematics. Machine-checked results. Join a global competition to formalize mathematics, attack open problems, and create verifiable public results...
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 -…
Hosted by Artem Lukoianov & 3 others
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 -…
Hosted by Artem Lukoianov & 3 others
LINKS
Website
https://luma.com/yzp9abvr
Registration
https://luma.com/yzp9abvr
🔎 SOURCE
SIMILAR EVENTS
| Event | Place | Date | |
|---|---|---|---|
| Reverse Brain Rot | 🇺🇸 Austin | Sep 27 | View → |
| MILNA MARKET: South Asian Pop-Up Market NYC | 🇺🇸 New York | Sep 27 | View → |
| Code + Counsel Legal AI Community Hackathon: Building Common Ground | 🇺🇸 Boston | Sep 27 | View → |
| Chicago Stroller Walk | 🇺🇸 Chicago | Sep 27 | View → |
| BOXR Gym - Women's Self Defense Class | 🇺🇸 Miami | Sep 27 | View → |