Skip to content

Topic

AI-Assisted Mathematics

The use of large language models and proof tooling to attack open mathematical problems, including workflows where a researcher iterates with a model on drafts and partial arguments.

Current clusters