Guessing solutions to mathematical problems and learning maths from examples | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Guessing solutions to mathematical problems and learning maths from examples

De Amaury Hayat

Apparaît dans la collection : FLAIM: Formal Languages, AI and Mathematics

In this talk, we will see how a deep language model can learn to guess solutions to master level problems in mathematics with an impressive accuracy (higher than most humans) and without any built-in mathematical knowledge. We will illustrate this in several examples, and we will discuss a possible extension to some mathematical problems for which no solution is currently known.

Informations sur la vidéo

Date de captation 04/11/2022
Date de publication 04/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)

Intelligence artificielle

Bibliographie

*Charton, F., Hayat, A., & Lample, G. / Learning advanced mathematical computations from examples. International Conference on Learning Representations, September 2020. *Charton, F., Hayat, A., McQuade, S. T., Merrill, N. J., & Piccoli, B. / A deep language model to predict metabolic network equilibria. [arXiv:2112.03588] (https://doi.org/10.48550/arXiv.2112.03588).

Codes MSC

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