Maths and AI | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Maths and AI

By Marc Lelarge

Appears in collection : ALEA Days 2025 / Journées ALEA 2025

Dans cet exposé, je parlerai de deux travaux récents: le premier sur l'utilisation des grands modèles de langage pour la formalisation des mathématiques et le second sur l'utilisation d'architectures de réseaux de neurones graphiques pour apprendre des problèmes d'optimisation combinatoire.

Information about the video

Date of recording 18/03/2025
Date of publication 31/03/2025
Institution CIRM
Licence CC BY NC ND
Language French
Audience Researchers, Graduate Students
Director(s) Guillaume Hennenfent
Format MP4

Citation data

DOI 10.24350/CIRM.V.20328103
Cite this video Lelarge, Marc (18/03/2025). Maths and AI. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.20328103
URL https://dx.doi.org/10.24350/CIRM.V.20328103

Domain(s)

MSC codes

Document(s)

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