INI Seminar Room 1

@iniseminarroom1

112 tuit · page 2/3
Sciences formelles & physiques Mathématiques
FR

Sir William Timothy Gowers | Towards a database of motivated proofs

Sir William Timothy Gowers | Vers une base de données de démonstrations motivées

Sir William Timothy Gowers
68 min
4/5
Preuves MotivéesDémonstration AutomatiqueIA Pour Les Mathématiques
Sciences formelles & physiques Mathématiques
FR

Prof. Kevin Buzzard | Formalizing mathematics today

Professeur Kevin Buzzard | Formaliser les mathématiques aujourd'hui

Prof. Kevin Buzzard
67 min
4/5
FormalisationPreuves Assistées Par OrdinateurLean
Sciences formelles & physiques IA — Modèles & Recherche
FR

Prof. Andreas Krause | Steering Generative Models for Discovery

Prof. Andreas Krause | Orienter les modèles génératifs pour la découverte scientifique

Andreas Krause
62 min
4/5
Modèles GénératifsApprentissage Par RenforcementDécouverte Scientifique
Sciences formelles & physiques Mathématiques
FR

Multiple Speakers | Panel discussion: Foundation of causal inference

Intervenants multiples | Table ronde : Fondements de l'inférence causale

Philip Dawid, Thomas Richardson, Niels Richard Hansen, Emilija Perkovic, Betsy Ogburn
56 min
4/5
Inférence CausaleModèles GraphiquesContrefactuels
Sciences formelles & physiques Mathématiques
FR

Prof. Pierre Deligne | Cohomology of algebraic varieties

Professeur Pierre Deligne | Cohomologie des variétés algébriques

Pierre Deligne
67 min
5/5
CohomologieVariétés AlgébriquesGéométrie Algébrique
Sciences formelles & physiques Informatique & Cybersécurité
FR

Prof. Nigel Smart | Fully Homomorphic Encryption

Prof. Nigel Smart | Chiffrement totalement homomorphe

Prof. Nigel Smart
31 min
4/5
Chiffrement HomomorpheCryptographieLWE
Sciences formelles & physiques Mathématiques
FR

Prof. Mikhail Gromov | 100 Problems around Scalar Curvature

Professeur Mikhaïl Gromov | 100 problèmes liés à la courbure scalaire

Mikhail Gromov
63 min
5/5
Courbure ScalaireGéométrie RiemannienneThéorème De L'indice
Sciences formelles & physiques Mathématiques
FR

Prof. Jon Keating | Lecture 1: A Primer in Random Matrix Theory

Prof. Jon Keating | Cours 1 : Une introduction à la théorie des matrices aléatoires

Jon Keating
57 min
4/5
Matrices AléatoiresPhysique MathématiqueThéorie Quantique
Sciences formelles & physiques Mathématiques
FR

Prof. Jean-Pierre Serre | The quaquaversal group

Prof. Jean-Pierre Serre | Le groupe quaquaversal

Jean-Pierre Serre
51 min
5/5
Groupe QuaquaversalThéorie Des GroupesGéométrie
Sciences formelles & physiques Mathématiques
FR

Prof. Jack Thorne | Modularity, old and new

Prof. Jack Thorne | Modularité, ancienne et nouvelle

Jack Thorne
58 min
5/5
ModularitéThéorie Des NombresFormes Modulaires
Sciences formelles & physiques Physique
FR

Prof. Bernard Nienhuis | Entanglement in the XXZ chain

Prof. Bernard Nienhuis | Intrication dans la chaîne XXZ

Prof. Bernard Nienhuis
62 min
4/5
Intrication QuantiqueChaîne XXZEntropie De Von Neumann