What You Need to Know Before
You Start
Starts 4 June 2026 09:51
Ends 4 June 2026
00
Days
00
Hours
00
Minutes
00
Seconds
1 hour 12 minutes
Optional upgrade avallable
Not Specified
Progress at your own speed
Free Video
Optional upgrade avallable
Overview
Explore how AI models can assist mathematicians in solving open problems and advancing automated theorem proving through machine learning techniques.
Subjects
Computer Science