OrthosAI
Research updates, product announcements, and perspectives on the future of formal reasoning.
Mar 17, 2026
Today we're releasing OrthoSolver — a new AI-powered platform for formal mathematical reasoning built on Lean 4. Here's what it can do and why we built it.
