$10 million new gift from 46 year old emigré Alex Gerko boosts AI math- raises his donations to math education and research to near $400 million
Alex Gerko is a Russian-born British billionaire and financial trader, the founder and co-CEO of XTX Markets, a leading algorithmic trading firm.
He holds a Ph.D. in mathematics from Moscow State University and a master’s degree in economics from the New Economic School.
Gerko began his career in 2004 trading equities at Deutsche Bank before moving to GSA Capital, a UK-based hedge fund, where he was head of FX trading from 2009 to 2015.
He established XTX Markets in 2015, which rapidly became a major player in global financial markets using algorithmic and quantitative trading strategies.
He renounced his Russian citizenship in 2022 and is now a British citizen. His net worth is estimated at around $15 billion, making him one of the wealthiest figures in finance.
Gerko is also known for his philanthropy, especially in mathematics education, and was the UK’s largest taxpayer in 2023.
In the race to fund artificial intelligence and scientific breakthroughs, one discipline has remained quietly in the background: mathematics.
Yet, without it, AI would not exist.
Every model, algorithm, and prediction is built on mathematical principles.
Ironically, while AI garners billions in funding, mathematics—the very backbone of AI—is often overlooked.
That may be changing.
Recently XTX Markets founder Alex Gerko made a bold move that could shift the narrative.
Through Renaissance Philanthropy, he donated $10 million to Lean FRO and Mathlib—two leading initiatives focused on applying artificial intelligence to mathematics.
The goal is clear: supercharge formal mathematical research using AI, and in doing so, strengthen the future of AI itself.
The funding is split evenly: $5 million will go to Lean FRO (Focus Research Organization) to improve AI-assisted natural language interfaces for formal proofs.
The other $5 million supports Mathlib, the growing library of formalized mathematics built on the Lean proof assistant.
Together, they aim to make mathematical proofs more accessible, verifiable, and scalable—an essential step for the future of AI Math.
Why is this important?
Because AI Math is the invisible infrastructure powering machine learning. Deep learning depends on linear algebra. Optimization theory drives model training.
Probabilistic logic shapes AI reasoning.
By improving the way AI engages with mathematics—through tools like Lean and Mathlib—we not only make math more formalized and reproducible, but also make AI smarter, safer, and more reliable.
Until now, funding in AI has mostly gone to applications: image generation, drug discovery, language models.
But none of this is possible without the mathematical frameworks beneath it.
This $10 million gift flips the script.
It invests in the core mathematical engine that enables AI to exist in the first place. It says: if we want better AI, we need to fund better math.
This investment also opens new possibilities.
Imagine an AI that can assist with complex proofs, verify software security with mathematical certainty, or contribute to solving millennium problems.
AI Math makes this future possible—not by replacing mathematicians, but by amplifying their reach.
Alex Gerko’s donation is not a one-off gesture.
XTX Markets has a long history of supporting math education and research, having donated close to $400 million since 2017.
But this move is different.
It’s focused, targeted, and intensely strategic.
It’s not about short-term hype.
It’s about strengthening the foundation that AI depends on.
As AI continues to evolve, the tools and logic that power it must evolve too.
With this funding, Lean FRO and Mathlib can push the boundaries of formal mathematical research.
The long-term payoff?
A future where AI doesn’t just mimic intelligence—it reasons with precision.
A future built on AI Math.