AxiomProver reportedly keeps beating its own results after topping LeanEval

@axiommathai says AxiomProver continues to outperform its previous results after reaching No. 1 on the LeanEval leaderboard.

2 Sources, 42d ago, first seen 42d ago

TLDR

In a September 16, 2026 update, @axiommathai said AxiomProver “keeps beating itself” after being No. 1 on the LeanEval leaderboard.

Today's Rank

—

Not ranked yet

—

2 Sources, first seen 42d ago

likes