About BMUCO
BMUCO is a modern science lab and think tank combined, at the intersection of science and AI. We build training infrastructure — formal datasets, verification tools, and talent pipelines — that advances the science of automated mathematical reasoning.
Timeline
From grassroots to frontier
2017
BMUCO founded — bringing research-level theoretical science into schools across the Global South.
2018–2023
Grew into an independent, neurodivergent-led science organisation — research programs, winter schools, and talk series with Nobel Laureates and Fields Medalists across Europe. 10,000+ students reached across 30+ institutions.
2024
Launched research assistant programmes in AI for mathematics with Dr Edward Hirst (University of London / UNICAMP). Youth delegates represented BMUCO at UN climate conferences SB60 and SB62.
2025–2026
Co-hosted the Abel Symposium 2025 in Bonn with the Hausdorff Centre for Mathematics. Began developing formal mathematical datasets in Lean 4 for AI theorem proving. Deep tech pivot underway.
What We Work Towards
Deep Tech Backed by Theoretical Science
We are a deep tech organisation rooted in the rigour of theoretical science. Our interests span quantum computing, formal methods, and the mathematical foundations that underpin next-generation technology. At our core, we invest in mathematical formalisation — building structured datasets and verification tools in Lean 4 that enable AI systems to reason with library-quality precision, not just surface-level correctness.
Frontier Science Without Gatekeeping
Research programs and direct collaborations with Nobel Laureates and Fields Medalists — open to anyone with drive, regardless of institution or geography.
Talent Pipelines From Overlooked Regions
Systematic pathways for mathematicians in the Global South to move from curiosity to formalisation research, library-quality contribution, and leadership.
Science-Driven Climate Action
Youth delegations at UN climate convenings, bridging rigorous science with climate justice — grounding policy in evidence.