Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
MALINCA Kick-off meeting
13 videos

MALINCA Kick-off meeting

Bourbaki - Novembre 2025
4 videos

Bourbaki - Novembre 2025

Not Only Scalar Curvature Seminar
80 videos

Not Only Scalar Curvature Seminar

Summer School 2022 - Cohomology, Geometry and Explicit number theory (COGENT)
55 videos

Summer School 2022 - Cohomology, Geometry and Explicit number theory (COGENT)

All the collections
CIMPA
CIRM
IHES
IHP
Institut Fourier
LMR
SMF
All the institutions
MALINCA Kick-off meeting

Collection MALINCA Kick-off meeting

Organizer(s) de Groote, Philippe ; Herbelin, Hugo ; Melliès, Paul-André ; Simpson, Carlos
Date(s) 01/10/2025 - 03/10/2025
linked URL https://malinca.gitlabpages.inria.fr/malinca.gitlab.io/index.html
00:00:00 / 00:00:00
3 13

How can Machine Learning Help Mathematicians?

By Amaury Hayat

The advent of artificial intelligence raises an important question: Can AI assist mathematicians in solving open problems in mathematics? This talk explores this question from multiple perspectives. We will explore how different types of AI models can be trained to provide valuable insights into mathematical questions to recent progresses in the field of automated theorem proving.

Information about the video

Domain(s)

Last related questions on MathOverflow

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

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Copyright Carmin.tv 2025
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback