Why are LLMs not Better at Finding Proofs?
Appears in collection : Mathematics for an by Large Language Models – 2025 Edition
Mathematics
and Interactions
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 questionAsk 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
