Blog

# The AlgeBench Blog

Notes on using AlgeBench to explore and learn math and science — visually and interactively. Every figure in these posts is live: step through it, hover the terms, and jump into the app to go deeper.

- Interactive Mathematics

  ## Grounded, AI-driven mathematical proof system

  June 28, 2026 · 6 min read

  A short tour of AlgeBench's animated derivations — each one written by an AI, checked step by step by a computer-algebra system, and embedded right in the page. Step through the quadratic formula, watch why moving clocks run slow, and follow a spacecraft into the atmosphere — then jump into a 3D scene to ask an AI tutor about it.

  Read the post →

More posts soon. Want one of these in your own post? Every figure on this site is a live AlgeBench embed — open any proof in the app and copy its embed snippet.