Formalized mathematics for mathematicians and AI | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Formalized mathematics for mathematicians and AI

By Patrick Massot

Appears in collection : FLAIM: Formal Languages, AI and Mathematics

I will describe the main reasons why I think formalized mathematics and proof assistant software will be useful to many mathematicians. I will cover both existing achievements and my expectations about the future. In particular I will explain how AI could help in various ways.

Information about the video

Date of recording 03/11/2022
Date of publication 03/11/2022
Institution IHP
Licence CC BY-NC-ND
Language English
Audience Researchers, Graduate Students, Students
Director(s) Alexandre Duplessis, Marco Perez
Format MP4
Venue IHP - Hermite Amphitheater

Domain(s)

Complex Variables

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

Copyright Carmin.tv 2026

Give feedback