MaRDI Annual Meeting 2026

Generative AI is rapidly transforming the landscape of mathematical research by solving many open mathematical problems.
I will talk about these advances from the perspective of formalized mathematics.
Many of these AI solutions come with an AI-generated formalization in Lean.
These might not help to understand the mathematical argument, but do provide some guarantees about the correctness of...

Turning powerful language models into reliable scientific collaborators takes more than model quality: it demands rigorous verification, mathematical guardrails, and an architecture that lets coding agents run long-horizon experiments autonomously. In this talk, I will present a practical framework for AI-assisted research that aims to compress the research cycle. The framework turns...