מה צריך לדעת לפני
שתתחיל
מתחיל 8 June 2026 09:45
נגמר 8 June 2026
Project Numina and AI for Theorem Proving
Institut des Hautes Etudes Scientifiques (IHES)
6076 קורסים
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
