Strategic Collaborations

Partners

We collaborate with leading research institutions across mathematics, physics, and AI. We seek partners who move fast and think long-term — building research infrastructure together.

Our Collaborations

Organizations we've worked with to advance the mathematical sciences.

Hausdorff Centre for Mathematics

Co-hosted the Abel Symposium 2025 in Bonn — one of mathematics' most prestigious convenings. One of the world's leading mathematical research institutions.

→

London Institute for Mathematical Sciences

An independent research institute dedicated to fundamental questions in physics, mathematics, and computer science. We co-hosted the Maryna Viazovska interview at the Royal Institution.

→

EPSRC National Edge AI Hub

Newcastle University's hub for advanced AI research. Exploring collaborations in AI applications for theoretical sciences.

→

Queen's University Belfast

A leading research institution in theoretical physics and mathematics. Collaborated on research schools and theoretical physics programs.

→

Logos displayed represent organizations we've collaborated with on specific events and programs. Inclusion does not imply ongoing institutional partnership or endorsement.

How We Collaborate

We're open to any partnership that advances equitable science infrastructure.

Research Collaboration

Co-develop formal datasets, formalisation tools, and training infrastructure for the Lean/Mathlib ecosystem.

Event Collaboration

Co-host workshops, symposia, and technical training sessions with our international network.

Funding Partnerships

Support formalization research, talent development, and dataset infrastructure at the frontier of mathematical AI.

Something New

Open to exploring innovative partnership ideas advancing formal mathematics and AI. Let's talk.

Let's Build This Together

We're formalizing as a German nonprofit in 2025–26 while building infrastructure for science's next chapter. Start a conversation.

Start a conversationor email contact@bmuco.org