Leonardo de Moura - Verified Collaboration: How Lean is Transforming Math...(March 12, 2025)
Автор: Simons Foundation
Загружено: 2025-03-24
Просмотров: 1498
Описание:
Verified Collaboration: How Lean is Transforming Mathematics, Programming, and AI
~
In this Presidential Lecture, Leonardo de Moura will provide an overview of Lean’s impact. He’ll show how Lean provides mathematicians a new way to construct and verify complex proofs, enables software developers to rigorously verify critical systems, and creates a foundation for more reliable AI for science and mathematics. Through real-world examples from academia and industry, he’ll present how Lean is paving the way for a more efficient, reliable and collaborative future.
For more information, please visit: https://www.simonsfoundation.org/even...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
