Axiom
@axiommathai
The Starting Point for Reasoning
参加 September 2025
73 フォロー中 24.3K ファン
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.
もっと見る
