Wat je moet weten voordat je
begint
Start 8 June 2026 04:54
Einde 8 June 2026
Project Numina and AI for Theorem Proving
Institut des Hautes Etudes Scientifiques (IHES)
6076 Cursussen
57 minutes
Optionele upgrade beschikbaar
Not Specified
Ga in je eigen tempo vooruit
Free Video
Optionele upgrade beschikbaar
Overzicht
Discover Project Numina's open-source AI for mathematics, including NuminaProver for theorem proving, and learn about their AIMO prize-winning work and future developments in mathematical AI.
Vakgebieden
Computer Science
