Side-by-side benchmark comparison across agentic, coding, multimodal, knowledge, reasoning, and math workflows.
1-bit Bonsai 1.7B
~39
0/8 categorieso4-mini (high)
58
Winner · 4/8 categories1-bit Bonsai 1.7B· o4-mini (high)
Pick o4-mini (high) if you want the stronger benchmark profile. 1-bit Bonsai 1.7B only becomes the better choice if you would rather avoid the extra latency and token burn of a reasoning model.
o4-mini (high) is clearly ahead on the aggregate, 58 to 39. The gap is large enough that you do not need to squint at the spreadsheet to see the difference.
o4-mini (high)'s sharpest advantage is in mathematics, where it averages 86.8 against 34.4. The single biggest benchmark swing on the page is GPQA, 20.7% to 82%.
o4-mini (high) is the reasoning model in the pair, while 1-bit Bonsai 1.7B is not. That usually helps on harder chain-of-thought-heavy tests, but it can also mean more latency and more token spend in real use. o4-mini (high) gives you the larger context window at 200K, compared with 32K for 1-bit Bonsai 1.7B.
BenchLM keeps the benchmark table and the operator tradeoffs on the same page so a better score does not hide a materially slower, pricier, or smaller-context model.
Runtime metrics show N/A when BenchLM does not have a sourced snapshot for that exact model. The scoring rules and freshness policy are documented on the methodology page.
| Benchmark | 1-bit Bonsai 1.7B | o4-mini (high) |
|---|---|---|
| Agentic | ||
| Terminal-Bench 2.0 | — | 58% |
| BrowseComp | — | 64% |
| OSWorld-Verified | — | 55% |
| Coding | ||
| HumanEval | — | 74% |
| SWE-bench Verified | — | 68.1% |
| LiveCodeBench | — | 34% |
| SWE-bench Pro | — | 42% |
| Multimodal & Grounded | ||
| MMMU-Pro | — | 66% |
| OfficeQA Pro | — | 71% |
| Reasoningo4-mini (high) wins | ||
| MuSR | 45.1% | 78% |
| BBH | — | 83% |
| LongBench v2 | — | 75% |
| MRCRv2 | — | 74% |
| ARC-AGI-2 | — | 2.4% |
| Knowledgeo4-mini (high) wins | ||
| GPQA | 20.7% | 82% |
| MMLU | — | 82% |
| SuperGPQA | — | 80% |
| MMLU-Pro | — | 76% |
| HLE | — | 13% |
| FrontierScience | — | 73% |
| SimpleQA | — | 80% |
| Instruction Followingo4-mini (high) wins | ||
| IFEval | 63% | 83% |
| Multilingual | ||
| MGSM | — | 83% |
| MMLU-ProX | — | 81% |
| Mathematicso4-mini (high) wins | ||
| MATH-500 | 34.4% | 84% |
| AIME 2023 | — | 83% |
| AIME 2024 | — | 93.4% |
| AIME 2025 | — | 92.7% |
| HMMT Feb 2023 | — | 79% |
| HMMT Feb 2024 | — | 81% |
| HMMT Feb 2025 | — | 80% |
| BRUMO 2025 | — | 82% |
o4-mini (high) is ahead overall, 58 to 39. The biggest single separator in this matchup is GPQA, where the scores are 20.7% and 82%.
o4-mini (high) has the edge for knowledge tasks in this comparison, averaging 62.7 versus 20.7. Inside this category, GPQA is the benchmark that creates the most daylight between them.
o4-mini (high) has the edge for math in this comparison, averaging 86.8 versus 34.4. Inside this category, MATH-500 is the benchmark that creates the most daylight between them.
o4-mini (high) has the edge for reasoning in this comparison, averaging 57.2 versus 45.1. Inside this category, MuSR is the benchmark that creates the most daylight between them.
o4-mini (high) has the edge for instruction following in this comparison, averaging 83 versus 63. Inside this category, IFEval is the benchmark that creates the most daylight between them.
Get notified when new models drop, benchmark scores change, or the leaderboard shifts. One email per week.
Free. No spam. Unsubscribe anytime. We only store derived location metadata for consent routing.