Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Mathematics for an by Large Language Models – 2025 Edition
1 videos

Mathematics for an by Large Language Models – 2025 Edition

Hadamard Lectures 2025 – Thomas Hutchcroft –Dimension Dependence of Critical Phenomena in Percolation
6 videos

Hadamard Lectures 2025 – Thomas Hutchcroft –Dimension Dependence of Critical Phenomena in Percolation

Families of Kähler spaces / Familles d'espaces kählériens
4 videos

Families of Kähler spaces / Familles d'espaces kählériens

2025 - T2 - WS1 - Higher rank geometric structures, Higgs bundles and physics
20 videos

2025 - T2 - WS1 - Higher rank geometric structures, Higgs bundles and physics

All the collections
CIMPA
CIRM
IHES
IHP
LMR
SMF
All the institutions
Mathematics for an by Large Language Models – 2025 Edition

Collection Mathematics for an by Large Language Models – 2025 Edition

Organizer(s) François Charton, Michael Douglas, Amaury Hayat, Yiannis Vlassopoulos
Date(s) 22/05/2025 - 22/05/2025
linked URL https://indico.math.cnrs.fr/event/14253/
00:00:00 / 00:00:00
1 1

Why are LLMs not Better at Finding Proofs?

By Timothy Gowers

Information about the video

  • Date of recording 22/05/2025
  • Date of publication 27/05/2025
  • Institution IHES
  • Language English
  • Audience Researchers
  • Format MP4

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