शुरू करने से पहले आपको क्या जानना चाहिए
आप शुरू करें
शुरू होता है 23 July 2026 09:11
समाप्त होता है 23 July 2026
Project Numina and AI for Theorem Proving
Institut des Hautes Etudes Scientifiques (IHES)
6095 कोर्स
57 minutes
वैकल्पिक अपग्रेड उपलब्ध है
Not Specified
अपनी गति से आगे बढ़ें
Free Video
वैकल्पिक अपग्रेड उपलब्ध है
अवलोकन
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.
विषय
Computer Science
