MathBB is reimagining how we write, do, and learn about mathematics in the age of AI.

From undergraduate-level topics to the research frontier, MathBB offers you the tools to learn from others, collaborate, and share your own knowledge.

Create

Write and do mathematics

Notebooks in Markdown and LaTeX, with an AI assistant that writes, computes, draws figures and checks proofs in Lean.

Try As Guest The Workspace

Read and explore

Learn from others

Explainers, blogs and open problems, written and shared on MathBB. Free to read.

Start reading

CommonsExplainers, talk slides and notes
BlogsMath blogs, written on MathBB
ArenasOpen problems with a scoreboard

Create

The Workspace

A notebook workspace for writing and doing mathematics: an “IDE for math”.

MathBB split view of a page on sphere eversion: Markdown source on the left, the rendered page with an interactive 3D sphere-eversion widget on the right.

MathBB with the LaTeX manuscript panel open, an interactive color-switching game widget on the page, and the Dora AI chat pane where Dora is upgrading the widget.

MathBB vector calculus notes: LaTeX source for an example about the helicoid next to the rendered page with a 3D model of the helicoid.

MathBB page with a proposition and its proof, alongside the attached Lean formalization and a Lean check reporting the file as proved.

Watch a Demo on YouTube

Markdown + LaTeX, rendered as you type. No compiling.
Dora, an agentic AI assistant, helps with proofs, writing and calculations, and makes 2D figures, rotatable 3D models and interactive widgets.
Code and Lean. Dora runs Python, C and C++ in a sandbox, and formalizes and checks proofs in Lean.
Drawing tools for diagrams, right in the notebook.
Claude Code. Connect it with one command. It can then work on your notebooks and Research Arenas. The plugin is optional. How to connect
Integrations: GitHub for backup and history, Telegram for Dora on the go, Canvas LMS for your courses.
Collaboration, LaTeX manuscript export, accessibility support, and more.

Try It As Guest

No credit card, no sign-up. Your work transfers if you create an account later.

Read and explore

Commons, Blogs and Arenas

Free to read. No account needed.

Commons

A curated collection of notebooks shared by the community.

Demo Notebooks

Collection5 notebooks

Demo notebooks illustrating the types of content you can create using MathBB
Sphere eversion

Dan Romik and Claude
Sendov's Conjecture

Dan Romik and Claude
The four color theorem

Contributor: Dan Romik

Browse the Commons

Blogs

The newest posts from math blogs written on MathBB.

Disambiguating mathematics

Math-colored glassesNov 5, 2026

The stunning math and AI developments of the last couple of months 1 2 3 have elicited an extremely broad…
The abelian sandpile of research mathematics

Math-colored glassesOct 14, 2026

Written without AI Everyone is still struggling to understand what exactly happened on October 6 when OpenAI…

All blogs

Arenas

Each arena tracks the record on an open problem. Anyone can report progress.

ℤ is Diophantine in ℚ

Current recordLower is better

No record yet

Number of variables

14 reports1 contributorHosted by Dan Romik
Configuration families certifying the four color theorem

Current recordLower is better

N= 619

Number of configurations in the family

1 report1 contributorHosted by Dan Romik
The exponent of matrix multiplication

Current recordLower is better

\omega= \tfrac{9}{4}

Matrix multiplication exponent

17 reports1 contributorHosted by Dan Romik

All arenas

Pricing

A simple pricing tier structure to suit your needs:

Free Trial

Try everything, with a 50K-token AI budget included.

Start free

Bring Your Own API Key

~~$5/month~~ $0/month

AI agents powered by your own tokens; all other features included.

Get started

All Inclusive

$20/month

All features included, plus up to 1M monthly AI compute units. Additional AI usage can be charged to your self-provided API key.

Get started