BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//NomadWatch//Events//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Recursive Self Improvement Hack - Formal Verification in Mathe
 matics
BEGIN:VEVENT
UID:nomadwatch-event-20550@nomadwatch
DTSTAMP:20260927T040352Z
DTSTART:20260927T140000Z
SUMMARY:Recursive Self Improvement Hack - Formal Verification in Mathematic
 s
DESCRIPTION:One week. Unsolved problems in mathematics. Machine-checked res
 ults. Join a global competition to formalize mathematics\, attack open prob
 lems\, and create verifiable public results...\n\nhttps://nomad.watch/event
 s/recursive-self-improvement-hack-formal-verification-in-mathematics-202609
 27
URL:https://nomad.watch/events/recursive-self-improvement-hack-formal-verif
 ication-in-mathematics-20260927
DTEND:20260928T020000Z
LOCATION:Boston\, United States
GEO:42.3626992;-71.1217743
END:VEVENT
END:VCALENDAR