What You Need to Know Before
You Start
Starts 4 June 2026 10:49
Ends 4 June 2026
00
Days
00
Hours
00
Minutes
00
Seconds
1 hour 2 minutes
Optional upgrade avallable
Not Specified
Progress at your own speed
Free Video
Optional upgrade avallable
Overview
Explore how AI and machine learning can revolutionize automated theorem proving and tackle unsolved mathematical problems through formal verification methods.
Subjects
Computer Science
