Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is this just around the corner, or decades away? Can neural networks spot patterns which humans have missed? Currently language models are great for brainstorming big ideas but are very poor when it comes to details. Can integrating a language model with a theo ... Show More
May 15
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathematicians, software developers, and AI systems work together with complete confidence in each other’s contributions? The open-source Lean proof assistant and programming language ... Show More
47m 14s
Mar 2025
Privacy, Verification, Robustness: A Cryptographer's perspective on ML
Strachey Lecture: Privacy, Verification, Robustness: A Cryptographer's perspective on ML Cryptographic tools enable the safe use of technology platforms controlled by worst case computationally bounded adversaries.In this talk I will show how cryptographic paradigms and tools can ... Show More
1h 4m
Aug 2024
AI in Action: From Machine Learning Interpretability to Cybersecurity with Serg Masís and Nirmal Budhathoki
In this DSS Podcast, Anna Anisin welcomes Serg Masís, Climate and Agronomic Data Scientist at Syngenta. Serg, an expert in machine learning interpretability and responsible AI, shares his diverse background and journey into data science. He discusses the challenges of building fa ... Show More
25m 37s
Nov 2024
AI and the Future of Math, with DeepMind’s AlphaProof Team
In this week’s episode of No Priors, Sarah and Elad sit down with the Google DeepMind team behind AlphaProof, a new reinforcement learning-based system for formal math reasoning that recently reached a silver-medal standard in solving International Mathematical Olympiad problems. ... Show More
39m 21s
Feb 2017
MLG 002 What is AI, ML, DS
Links: Notes and resources at ocdevel.com/mlg/2 Try a walking desk stay healthy & sharp while you learn & code Try Descript audio/video editing with AI power-tools What is artificial intelligence, machine learning, and data science? What are their differences? AI history. Hierarc ... Show More
1h 5m
Oct 2024
E116 - Nassim Haramein: Exploring Our Holographic Universe, Unified Field Theory & The Illusion of Time
Nassim Haramein, a veteran physicist working on one of the most complex and difficult problems in physics, describes his insights into our holographic universe, consciousness, and zero-point energy.
He discusses fundamental principles of spacetime and the groundbreaking discovery ... Show More
3h 2m
Dec 2024
Harvard Releases AI Training Dataset, Google Releases Gemini 2.0, and Two New Types of Infinity
We're experimenting and would love to hear from you!In today's episode of Discover Daily, we begin with a development for artificial intelligence research. Harvard University has unveiled a comprehensive AI training dataset, marking a significant step forward in democrat ... Show More
10m 21s
May 8
MLG 035 Large Language Models 2
At inference, large language models use in-context learning with zero-, one-, or few-shot examples to perform new tasks without weight updates, and can be grounded with Retrieval Augmented Generation (RAG) by embedding documents into vector databases for real-time factual lookup ... Show More
45m 25s