Mathematics with large language models as provers and verifiers

Hieu Le Duc, Leo Liberti

During 2024 and 2025 the discussion about the theorem-proving capabilities of large language models started reporting interesting success stories, mostly to do with difficult exerc…