Project
EF-LI-Opt-3
Agentic AI in Mathematics
Project Heads
Sebastian Pokutta
Project Members
Nico Pelleriti
Project Duration
01.10.2025 – 30.09.2028
Located at
TU Berlin
Description
This project has a singular purpose: exploring the use of agentic AI for mathematical research. The considered use cases are threefold: (a) mathematical discovery, (b) design and execution of mathematical experiments, and (c) automated proof writing and verification.
External Website
Related Publications
Related Pictures