Ax-Prover

A multi-agent framework for formal proofs in mathematics and quantum physics using Lean tools.

• Developer / Organization: Benjamin Breen and collaborators (Ax-Prover paper)
• Category: Related research systems & hosted services
• Purpose: Prove mathematical and quantum-physics statements using Lean.
• Key features: Research framework connecting reasoning models to Lean tools through MCP; paper link.
• Availability: Official project or research page; access varies
• License: Not verified in the linked source (source (opens in a new tab))
• Website / Source code: https://arxiv.org/abs/2510.12787 (opens in a new tab)
• Version: No public software version found in the linked source
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01