Axplorer

An open tool that learns from promising examples to search for extremal mathematical constructions.

• Developer / Organization: Axiom Math
• Category: Open-source construction & algorithm discovery
• Purpose: Discover extremal mathematical constructions.
• Key features: PatternBoost-based generation and improvement of candidate objects under user-defined constraints and objectives.
• Availability: Open-source software; Apache-2.0
• License: Apache-2.0 (source (opens in a new tab))
• Website / Source code: https://github.com/AxiomMath/axplorer (opens in a new tab)
• Version: Source repository; no GitHub release published
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01