Wat je moet weten voordat je
begint
Start 4 June 2026 10:57
Einde 4 June 2026
00
Dagen
00
Uren
00
Minuten
00
Seconden
1 hour 12 minutes
Optionele upgrade beschikbaar
Not Specified
Ga in je eigen tempo vooruit
Free Video
Optionele upgrade beschikbaar
Overzicht
Explore how AI models can assist mathematicians in solving open problems and advancing automated theorem proving through machine learning techniques.
Vakgebieden
Computer Science