Even GPT-5.2 Can't Count to Five: The Case for Zero-Error Horizons in Trustworthy LLMs
Not on the map. Why?
Abstract (arXiv)
We propose Zero-Error Horizon (ZEH) for trustworthy LLMs, which represents the maximum range that a model can solve without any errors. While ZEH itself is simple, we demonstrate that evaluating the ZEH of state-of-the-art LLMs yields abundant insights. For example, by evaluating the ZEH of GPT-5.2, we found that GPT-5.2 cannot even compute the parity of a short string like 11000, and GPT-5.2 cannot determine whether the parentheses in ((((()))))) are balanced. This is surprising given the excellent capabilities of GPT-5.2. The fact that LLMs make mistakes on such simple problems serves as an important lesson when applying LLMs to safety-critical domains. By applying ZEH to Qwen2.5 and conducting detailed analysis, we found that while ZEH correlates with accuracy, the detailed behaviors differ, and ZEH provides clues about the emergence of algorithmic capabilities. Finally, while computing ZEH incurs significant computational cost, we discuss how to mitigate this cost by achieving up to one order of magnitude speedup using tree structures and online softmax.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 63 of its 69 references that are in the map. First posted on arXiv 22 Jan 2026.
Builds on
63 of 69 references.
References · 63
- 2021Training Verifiers to Solve Math Word Problemscited by 10,109
- 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Modelscited by 9,379
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
- 2018GLUE: A Multi-Task Benchmark and Analysis Platform for Natural Language Understandingcited by 4,899
- 2022FlashAttention: Fast and Memory-Efficient Exact Attention with IO-Awarenesscited by 3,673
- 2021TruthfulQA: Measuring How Models Mimic Human Falsehoodscited by 2,975
- 2023FlashAttention-2: Faster Attention with Better Parallelism and Work Partitioningcited by 2,598
- 2022Survey of Hallucination in Natural Language Generationcited by 2,075
- 2022Language Models (Mostly) Know What They Knowcited by 1,856
- 2019SuperGlue: Learning Feature Matching with Graph Neural Networkscited by 1,443
- 2023FActScore: Fine-grained Atomic Evaluation of Factual Precision in Long Form Text Generationcited by 1,282
38 more
- 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problemscited by 1,136
- 2022When Not to Trust Language Models: Investigating Effectiveness of Parametric and Non-Parametric Memoriescited by 1,128
- 2024Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvementcited by 1,090
- 2021Are NLP Models really able to Solve Simple Math Word Problems?cited by 878
- 2024Medusa: Simple LLM Inference Acceleration Framework with Multiple Decoding Headscited by 843
- 2023Semantic Uncertainty: Linguistic Invariances for Uncertainty Estimation in Natural Language Generationcited by 819
- 2023SelfCheckGPT: Zero-Resource Black-Box Hallucination Detection for Generative Large Language Modelscited by 810
- 2023Enabling Large Language Models to Generate Text with Citationscited by 595
- 2024FlashAttention-3: Fast and Accurate Attention with Asynchrony and Low-precisioncited by 519
- 2025The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Searchcited by 422
- 2024Measuring short-form factuality in large language modelscited by 373
- 2023SpecInfer: Accelerating Generative Large Language Model Serving with Tree-based Speculative Inference and Verificationcited by 365
- 2023HaluEval: A Large-Scale Hallucination Evaluation Benchmark for Large Language Modelscited by 341
- 2024Break the Sequential Dependency of LLM Inference Using Lookahead Decodingcited by 298
- 2025DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decompositioncited by 287
- 2024DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Datacited by 234
- 2025Why Language Models Hallucinatecited by 220
- 2023Embers of Autoregression: Understanding Large Language Models Through the Problem They are Trained to Solvecited by 178
- 2025Agentic Reinforced Policy Optimizationcited by 172
- 2024PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competitioncited by 165
- 2024Long-form factuality in large language modelscited by 155
- 2025Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correctioncited by 154
- 2023Accelerating LLM Inference with Staged Speculative Decodingcited by 151
- 2021Investigating the Limitations of Transformers with Simple Arithmetic Taskscited by 139
- 2025Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Provingcited by 133
- 2023Teaching Arithmetic to Small Transformerscited by 123
- 2015Neural GPUs Learn Algorithmscited by 121
- 2024VERISCORE: Evaluating the factuality of verifiable claims in long-form text generationcited by 117
- 2023Calibrated Language Models Must Hallucinatecited by 115
- 2023Generating Benchmarks for Factuality Evaluation of Language Modelscited by 105
- 2023ExpertQA: Expert-Curated Questions and Attributed Answerscited by 97
- 2024Arithmetic Without Algorithms: Language Models Solve Math With a Bag of Heuristicscited by 97
- 2023Factcheck-Bench: Fine-Grained Evaluation Benchmark for Automatic Fact-checkerscited by 87
- 2025From AI for Science to Agentic Science: A Survey on Autonomous Scientific Discoverycited by 77
- 2024Hydragen: High-Throughput LLM Inference with Shared Prefixescited by 73
- 2018Neural Arithmetic Logic Unitscited by 70
- 2023FELM: Benchmarking Factuality Evaluation of Large Language Modelscited by 66
- 2024Factuality of Large Language Models: A Surveycited by 66
50 most cited of 63 All 63 (JSON)
Built on by
Citing papers per year: 2026: 1.
1 paper.
- 2026Crypto x AI, AI x Crypto: A Surveycited by 1
- 2026Crypto x AI, AI x Crypto: A Survey11 Jun 2026