Axiom
@axiommathai
The Starting Point for Reasoning
Joined September 2025
73 Following 24.3K Followers
25M LOC of Lean by AxiomProver
The competition on LeanEval is fierce. 15 solutions in the last 14 hours. 6 months ago each such solution would be the largest ever made, completely earth-shattering. Now we get one per hour.
Axiom is still in the lead, by three problems. We have 25 million lines of code in our solutions repo, larger than all OpenAI's formalizations, and twice larger than Anthropic's FLT.
Show more
