[ Formalising Proofs and
GenAI for Mathematical Discovery]
Currently in Beta
Launching Dec, 2025
Register your interst by joining the waitlist
Join the waitlist to receive early access to course details and priority registration.
We’ll also keep you informed about launch dates and any related courses that may be of interest.
We’ll also keep you informed about launch dates and any related courses that may be of interest.
Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.