Lightning talks: Empowering mathematicians with technology

Channel:
Microsoft Research
Subscribers:
343,000
Published on ● Video Link: https://www.youtube.com/watch?v=esNKOKeveRE


Category:
Vlog
Duration: 51:48
463 views
17

Digitization of mathematics is a nascent concept. Historically, technical achievements have been gatekept by peer validation, keeping the upper most levels of the field exclusive and causing a trust bottleneck in novel explorations. Microsoft Research’s programming language and proof assistant Lean is eliminating the bottleneck by digitizing mathematics and enabling computers to verify mathematical theorems. Lean has flourished in the mathematical community and empowered users of all levels to grow their expertise, using Lean as their teacher. Join Leonardo de Moura (Microsoft Research), Jeremy Avigad (Carnegie Mellon University), and Heather Macbeth (Fordham University) in a series of lightning talks covering the digital revolution happening in mathematics, the widening adoption of Lean as a proof assistant, and how Lean is democratizing education.

#MSFTResearchSummit

See related sessions in this track: https://www.microsoft.com/en-us/research/video/lightning-talks-empowering-mathematicians-with-technology/

Learn more about the 2022 Microsoft Research Summit: https://www.microsoft.com/en-us/research/event/microsoft-research-summit-2022/



Other Videos By Microsoft Research


2022-10-27Research talk: Cloud Intelligence/AIOps – Infusing AI into cloud computing
2022-10-27Panel discussion: Emerging computing technologies in academia and industry
2022-10-27Keynote with guests: Toward AI that empowers more people more of the time
2022-10-27Lightning talks: Training and inference efficiency
2022-10-27Lightning talks: Skills acquisition and new capabilities
2022-10-27Lightning talks: Aligning models with human intent
2022-10-27Fireside chat: What’s next in large-scale AI
2022-10-27Plenary: Emerging foundations for planet-scale computing [ASL version]
2022-10-27Panel discussion: From AI research to application in AAA-games
2022-10-27Panel discussion: Is the future of the metaverse work or play?
2022-10-27Lightning talks: Empowering mathematicians with technology
2022-10-27Research talk: Numerical weak AI and symbolic strong AI
2022-10-27Plenary: The fifth paradigm of scientific discovery [ASL version]
2022-10-27Responsible, Equitable, and Ethical AI panel discussion
2022-10-27Plenary: The fifth paradigm of scientific discovery
2022-10-27Plenary: The future of human health [ASL version]
2022-10-27Plenary: The future of human health
2022-10-19Project Silica 2022
2022-10-18Project Silica Library 2022
2022-10-14A Random Walk from Complexity Theory to ML. With Dr. Neeraj Kayal and Dr. Ravishankar Krishnaswamy
2022-10-14HAMS- Using Smartphones to Make Roads Safer. With Dr. Venkat Padmanabhan and Dr. Akshay Nambi


Tags:
Algorithms
Heather Macbeth
Human Productivity/Creativity
Jaime Teevan
Jeremy Avigad
Leonardo de Moura
Lightning talks: Empowering mathematicians with technology | T101
Programming languages & software engineering
microsoft research summit 2022
ms research summit
msft resarch summit 2022
msft summit
msft summit 2022
research summit
summit 2022