AIAxiomProver 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.
TLDR
In a September 16, 2026 update, @axiommathai said AxiomProver “keeps beating itself” after being No. 1 on the LeanEval leaderboard.
Combined views
2K
2 Sources, first seen 1d ago
13 likes
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.