ANNOUNCEMENTS
Introducing OrthoSolver
Mar 17, 2026
Today we're releasing OrthoSolver — a new AI-powered platform for formal mathematical reasoning. Built on top of Lean 4, OrthoSolver accelerates proof discovery, verifies complex theorems, and makes formal mathematics accessible to researchers and engineers everywhere.
Read More