The best math reasoning models, according to hackers
3 math reasoning models recommended in Hacker News comments over the past year, ranked by how many separate people recommend each one.
- Most recommendedLeanstral by Mistral15 people recommend it
- Least regretHarmonic Aristotle10 recommend, 2 criticize
All math reasoning models
- Leanstral by MistralOpen-weight Lean proof model people can run locally on consumer hardware. Main caveat: critics find it trails larger models on coding and proof tasks.15recommend
- DeepSeekMath-V2Free open model praised for strong math proofs and problem solving; main caveat is it is weak outside math.10recommend
- Harmonic AristotleRecommended for math proofs whose answers are checked in Lean, so people can trust the results. It is used to formalize theorems and proofs from papers.10recommend