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

00:00:00 / 00:00:00

Formalized mathematics for mathematicians and AI

De Patrick Massot

Apparaît dans la 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.

Informations sur la vidéo

Date de captation 03/11/2022
Date de publication 03/11/2022
Institut IHP
Licence CC BY-NC-ND
Langue Anglais
Audience Chercheurs, Doctorants, Etudiants
Réalisateur(s) Alexandre Duplessis, Marco Perez
Format MP4
Lieu IHP - Hermite Amphitheater

Domaine(s)

Variables complexes

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow

Copyright Carmin.tv 2026

Donner son avis