Ferenc Fodor
Professor, Head of Department
Convex and discrete geometry · Stochastic geometry · Asymptotic geometric analysis
University of Szeged · Bolyai Institute
Boly.AI Research Team
Mathematical research with AI.
We are researchers at the Bolyai Institute exploring how AI tools can contribute to mathematical discovery. Our work brings together human expertise, computational experimentation and new approaches to developing and checking proofs.
The team
Researchers using AI tools across a broad range of mathematical fields.
Gábor Péter Nagy
Professor, Head of Department
Director of the Bolyai Institute
Finite geometry · Combinatorics · Coding theory and cryptography
Gergely Röst
Professor, Head of Department
Differential equations · Nonlinear dynamics · Mathematical epidemiology
Péter Kevei
Associate Professor, Head of Department
Probability theory · Branching processes · Lévy processes
Miklós Maróti
Associate Professor, Head of Department
Universal algebra · Lattice theory · Computational complexity
Gergely Ambrus
Associate Professor
Convex geometry · Discrete mathematics · Probability theory
Zsolt Vizi
Assistant Professor
Mathematical modelling · Mathematical epidemiology · Machine learning
Zoltán Blázsik
Assistant Professor
Graph theory · Graph colouring and orientations · Finite geometry
Zsolt Lángi
Associate Professor
Discrete and convex geometry · Geometric optimization · Equilibrium of convex bodies
Géza Makay
Associate Professor
Functional differential equations · Stability theory · Numerical methods
Benedek Váli
PhD Student
Combinatorics
Viktor Vígh
Associate Professor
Convex and discrete geometry · Random polytopes · Geometric approximation
Names open research profiles in a new tab.
Publications & preprints
Selected work with documented AI contributions, from heuristic search to AI-assisted proof development and formal verification.
Research context: Mathematics Meets AI · University of Szeged
Research partnerships
Support mathematical discovery.
We welcome conversations with AI developers and research partners about model access, usage credits and tools for rigorous mathematical work.
Contact the Institute DirectorGábor Péter Nagy · nagyg@math.u-szeged.hu