Formalizing the Future: Lean’s Impact on Math...

It’s said that Henry Ford’s customers wanted a “a faster horse”. If Henry Ford was selling us artificial intelligence today, what would the customer call for, “a smarter human”? That’s certainly the picture of machine intelligence we find in science fiction narratives, but the re ...  Afficher plus

MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, Andy Yao proposed the construction of “Garbled Circuits,” which had an enormous impact on the field of secure computation -- both in theory and in practice. In Garbled Circuits, ...  Afficher plus

Antoine GeorgesPhysique de la matière condenséeAnnée 2024-2025Fermions froids et simulation quantiqueSéminaire - Immanuel Bloch : Quantum Simulation and Quantum Computing with FermionsImmanuel BlochMax Planck Institute et LMU, MunichRésuméQuantum simulation has emerged as an inte ...  Afficher plus

La suprématie quantique est un concept qui désigne le moment où un ordinateur quantique effectue un calcul qu’un ordinateur classique ne peut pas réaliser en un temps raisonnable. Ce terme a été popularisé par John Preskill, un physicien théoricien, en 2012. Il symbolise une é ...

Before you listen! Helpful Acronyms to deal with the jargon: - PQC = Post Quantum Cryptography, area within quantum computing & cryptography where researchers are developing quantum-safe protocols resilient against quantum cryptography attacks. - LDPC Codes = Low Density Parity C ...  Afficher plus

This 86th episode of Learning Machines 101 discusses the problem of assigning probabilities to a possibly infinite set of outcomes in a space-time continuum which characterizes our physical world. Such a set is called an "environmental event". The machine learning algorithm uses ...  Afficher plus