Skip to content

Topic

AI in mathematical research

The use of machine learning systems, including large language models and proof-search tools, to produce or assist research-level mathematical results.

Current clusters