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
Language English
Audience Researchers, Graduate Students, Students
Director(s) Alexandre Duplessis, Marco Perez
Format MP4
Venue Amphitheater Hermite, IHP

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 2024

Give feedback