Failure overlap
Shared errors are the rule, not the exception
The benchmark's errors are far from randomly distributed. They repeatedly concentrate around the same structural bottlenecks: geometric reconstruction, circuit topology, global reasoning, missing solution branches and sign propagation.
The current analysis covers all 16 model-mode configurations and 60 exercises in the matched panel, corresponding to 1,600 distinct rubric locations. Repeated runs are first averaged within each configuration–exercise pair. A rubric criterion is then classified as substantially failed when the resulting credit is below 50%.
Under this definition, the panel contains 1,995 model–criterion failures. Of these, 1,686 occur on criteria also failed by a model from another provider.
The same exercise and rubric criterion is failed by at least one model from another provider.
The result remains strong when the analysis is restricted to the eight configurations whose current 60-exercise benchmark average is below 90.
1,734Substantial failures below 90
1,430Shared across providers
82.5%Cross-provider overlap
Data & methodDownload the shared-failure summary CSV ↗ and the 1,600-location criterion-deficit CSV ↗. Thresholding and within-configuration repetition averaging follow the method ↗.
The automated analysis detects the same failed rubric criterion, not necessarily the same logical error. Manual examination is required before describing the underlying misconception as shared.
Observed versus independent
Models fail together more often than expected
For each configuration pair, the observed number of joint failures can be compared with the number expected if their errors were independent.
| Configuration pair | Observed | Expected | Co-failure ratio |
|---|---|---|---|
| Grok 4.3 – DeepSeek no-thinking | 52 | 13.1 | 3.96× |
| Haiku – DeepSeek no-thinking | 93 | 30.9 | 3.01× |
| Sonnet – GPT-4.1 | 204 | 68.8 | 2.97× |
| GPT-4.1 – Grok 4.3 | 96 | 33.4 | 2.88× |
| Haiku – GPT-4.1 | 221 | 78.7 | 2.81× |
The expected count is computed from each model's marginal failure rate across the same 1,600 criterion locations. These models do not merely make many mistakes: they make them disproportionately often at the same points. Kim et al. (2025) ↗ report a related pattern across more than 350 language models, finding substantial error correlation even across different architectures and providers.
Model limit. The independence baseline uses marginal failure rates but does not control for criterion difficulty. Difficult criteria can increase overlap even without a shared mechanism.
Complete pairwise overlap
| Configuration | Fable | Haiku | Sonnet | DS-F | DS-F direct | DS-Pro | Sol | Gemini Pro | Gemini Flash | Gemma | Grok 4.3 | Grok 4.5 | GPT-4.1 | o3 | Mistral Med | Mistral Small |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Fable | 20 | 15 | 16 | 17 | 17 | 15 | 10 | 17 | 15 | 16 | 20 | 14 | 18 | 15 | 12 | 13 |
| Haiku | 15 | 396 | 213 | 25 | 93 | 26 | 13 | 26 | 19 | 92 | 105 | 44 | 221 | 47 | 78 | 107 |
| Sonnet | 16 | 213 | 346 | 24 | 88 | 27 | 12 | 26 | 20 | 83 | 98 | 37 | 204 | 49 | 85 | 101 |
| DS-F | 17 | 25 | 24 | 31 | 24 | 22 | 11 | 23 | 17 | 25 | 27 | 19 | 28 | 24 | 22 | 21 |
| DS-F direct | 17 | 93 | 88 | 24 | 125 | 24 | 13 | 24 | 21 | 48 | 52 | 30 | 81 | 37 | 47 | 44 |
| DS-Pro | 15 | 26 | 27 | 22 | 24 | 29 | 8 | 23 | 20 | 25 | 25 | 23 | 27 | 24 | 21 | 21 |
| Sol | 10 | 13 | 12 | 11 | 13 | 8 | 16 | 10 | 10 | 11 | 16 | 11 | 14 | 9 | 13 | 15 |
| Gemini Pro | 17 | 26 | 26 | 23 | 24 | 23 | 10 | 31 | 17 | 25 | 27 | 22 | 30 | 25 | 21 | 21 |
| Gemini Flash | 15 | 19 | 20 | 17 | 21 | 20 | 10 | 17 | 23 | 18 | 19 | 16 | 21 | 17 | 17 | 18 |
| Gemma | 16 | 92 | 83 | 25 | 48 | 25 | 11 | 25 | 18 | 120 | 43 | 34 | 85 | 40 | 48 | 62 |
| Grok 4.3 | 20 | 105 | 98 | 27 | 52 | 25 | 16 | 27 | 19 | 43 | 168 | 37 | 96 | 33 | 45 | 60 |
| Grok 4.5 | 14 | 44 | 37 | 19 | 30 | 23 | 11 | 22 | 16 | 34 | 37 | 51 | 43 | 24 | 25 | 33 |
| GPT-4.1 | 18 | 221 | 204 | 28 | 81 | 27 | 14 | 30 | 21 | 85 | 96 | 43 | 318 | 51 | 74 | 112 |
| o3 | 15 | 47 | 49 | 24 | 37 | 24 | 9 | 25 | 17 | 40 | 33 | 24 | 51 | 60 | 38 | 33 |
| Mistral Med | 12 | 78 | 85 | 22 | 47 | 21 | 13 | 21 | 17 | 48 | 45 | 25 | 74 | 38 | 109 | 67 |
| Mistral Small | 13 | 107 | 101 | 21 | 44 | 21 | 15 | 21 | 18 | 62 | 60 | 33 | 112 | 33 | 67 | 152 |
Data & methodDownload the pairwise comparison CSV ↗ and the complete overlap-matrix CSV ↗. Expected counts use each pair's marginal failure rates across the same criterion locations.
Manual error analysis
Five recurring shared failure modes
Reconstructing the same wrong geometric object
In Geometric solid (A3-26-P4-E2) ↗, Claude Haiku, Claude Sonnet, GPT-4.1, Gemma 4 and DeepSeek V4 Flash no-thinking incorrectly reconstruct a three-dimensional solid. The correct horizontal section is an isosceles trapezoid; the models instead introduce a square, rectangle, Cartesian product or extrusion.
The answers differ in detail, but share one root failure: a complex geometric description is replaced with a simpler familiar structure.
Confusing a level set with a single orbit
In Phase portrait (A3-25-P3-E3) ↗, Gemma, Haiku, GPT-4.1, DeepSeek no-thinking and Grok 4.3 identify an algebraic set but fail to separate the zero level into its distinct invariant orbits.
level set ≠ single trajectoryLosing a constraint while transforming an equation
In Singular initial datum (A3-26-P1A-E3) ↗, the coefficient of y′ vanishes at the initial point while y² = 1. Grok 4.3, Gemma and DeepSeek no-thinking solve a transformed equation that is valid only away from that point.
The derivation can appear rigorous while solving a different problem.
Compressing a circuit into a familiar topology
Several DeepSeek and Grok configurations replace the actual parallel circuit with a familiar series equivalent, producing the wrong impedance, resonance and antiresonance. See the benchmark adjudication record ↗.
Propagating the same sign error
In an electromagnetic mechanics problem, Haiku, GPT-4.1, Gemma and DeepSeek no-thinking conclude that a mass moves downward; the correct result is that the rod moves left and the mass rises. See the benchmark adjudication record ↗.
Accuracy groups
More errors do not necessarily mean more correlated errors
Less accurate models make the patterns easier to observe because they generate more substantial criterion failures. Yet the rarer failures of stronger models are even more concentrated on shared rubric locations.
| Group | Shared substantial failures | Share |
|---|---|---|
| Configurations below 90 | 1,430 of 1,734 | 82.5% |
| Configurations at or above 90 | 256 of 261 | 98.1% |
Data & methodGroup totals are in the summary CSV ↗; the underlying criterion locations are in the criterion-deficit CSV ↗.
The 98.1% denominator is the 261 substantial failures made by configurations with an overall mean at or above 90; 256 occur at locations failed by another provider. This smaller denominator requires caution and still measures shared locations, not identical reasoning.
Weaker models reach shared failed criteria more frequently. Stronger models reach them less often, but their rarer failures cluster around the same exceptionally difficult rubric locations.
The most important convergences occur before most calculations begin: the wrong geometric object or circuit topology is constructed; a local result replaces a global classification; a branch, boundary or physical contribution is omitted; a singular constraint is lost; or an incorrect sign is propagated through the full solution.
Operational implication
Provider diversity is not automatically reasoning diversity
Agreement between models is often treated as independent confirmation. These results show why that assumption can be unsafe. Models from different providers may agree because they are correct, but they may also share the same failure attractor.
A useful benchmark should therefore measure not only accuracy, but also which criteria models fail together, whether they share the same root misconception, how overlap changes across providers and whether equivalent reformulations preserve or remove the error.
Which models fail differently enough to provide genuinely independent verification?
Conclusion
Model agreement can be a shared blind spot
Different wording, architectures and providers do not guarantee independent reasoning. The benchmark's most consequential failures repeatedly converge on a small set of structural simplifications.
Agreement is evidence only after we ask whether the underlying failure modes are independent.
This leaves a research question rather than an operational recommendation: can a pair selected for both accuracy and low residual error overlap provide safer verification than the two configurations with the highest individual means?
References
Sources and further reading
- Dziri, N. et al. (2023). Faith and Fate ↗. NeurIPS 2023.
- Geirhos, R. et al. (2020). Shortcut Learning in Deep Neural Networks ↗. Nature Machine Intelligence.
- Kim, S. et al. (2025). Correlated Errors in Large Language Models ↗. ICML 2025.
- Lightman, H. et al. (2023). Let's Verify Step by Step ↗. arXiv.
- Mirzadeh, I. et al. (2024). GSM-Symbolic ↗. arXiv.
- Williamson, S., Ji, Y., & Dwyer, B. (2025). Syntactic Blind Spots ↗. MathNLP 2025.

