Mathematics for and by Large Language Models -- 2025 Edition

Why are LLMs not Better at Finding Proofs? (visio conference)

22 mai 2025, 14:00

50m

Centre de Conférences Marilyn et James Simons (Le Bois-Marie)

Orateur

Timothy Gowers (Collège de France)

Description

TBA

Documents de présentation

Vidéo