Microsoft Research Summit 2022 background tile pattern
Return to Event: Research Summit 2022

Research Summit 2022 • Videos

Lightning talks: Empowering mathematicians with technology

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.

Learn more about the 2022 Microsoft Research Summit >

Amplifying Human Productivity and Creativity

Amplifying Human Productivity and Creativity