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.
더 보기
