Beyond ARC and GSM: Langford Coverage as a Benchmark for ASI | Zenodo
Skip to main
You are using an outdated browser. Please upgrade your browser to improve your experience.
Published July 23, 2026
| Version v1
Working paper
Open
Beyond ARC and GSM: Langford Coverage as a Benchmark for ASI
Authors/Creators
Jonathan Michael Langford
Mlangford75@protonmail.com
Description
As foundational models approach Artificial Superintelligence (ASI), standard intelligence evaluations like the Massive Multitask Language Understanding (MMLU), Grade School Math 8K (GSM8K), and the Abstraction and Reasoning Corpus (ARC-AGI) fail to adequately differentiate between true algorithmic reasoning and sophisticated statistical correlation. We introduce "Langford Coverage," an infinite, procedurally generated evaluation suite based on the Toroidal Residue-Covering Benchmark (TRCB). By mapping arithmetic intervals to multi-dimensional punctured toroidal grids via the Chinese Remainder Theorem, this benchmark scales the canonical search space beyond physical limits, surpassing $10^{119}$ states by the 17th prime modulus. Furthermore, the benchmark utilizes a Dynamic Entry Protocol, forcing agents to balance computational risk against reward. Langford Coverage provides a mathematically rigorous, physically un-cheatable protocol to verify whether an AI model possesses the fluid intelligence and theorem-discovery capabilities requisite for ASI.
Files
Beyond ARC and GSM_ Langford Coverage as a Benchmark for ASI.pdf
Files<br>(278.4 kB)
Name<br>Size
Download all
Beyond ARC and GSM_ Langford Coverage as a Benchmark for ASI.pdf
md5:3a98cddd933dcd068aaf513de6b4537f
278.4 kB
Preview
Download
Additional details
Related works
Is derived from
Publication:
10.5281/zenodo.21502824
(DOI)
Views
Downloads
Show more details
All versions<br>This version
Views
Total views
Downloads
Total downloads
Data volume
Total data volume
0 Bytes<br>0 Bytes
More info on how stats are collected....
Versions
External resources
Indexed in
OpenAIRE
Communities
Keywords and subjects
Keywords
ASI
AGI
Artificial Superintelligence
ASI Benchmark
LLM Evaluation
Fluid Intelligence
Langford Coverage
Chinese Remainder Theorem
Singleton-Class Theorem
EuroSciVoc
Combinatorics
MeSH
Benchmarking/methods
Details
DOI
DOI Badge
DOI
10.5281/zenodo.21502973
Markdown
[](https://doi.org/10.5281/zenodo.21502973)
reStructuredText
.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.21502973.svg<br>:target: https://doi.org/10.5281/zenodo.21502973
HTML
Image URL
https://zenodo.org/badge/DOI/10.5281/zenodo.21502973.svg
Target URL
https://doi.org/10.5281/zenodo.21502973
Resource type<br>Working paper
Publisher<br>Zenodo
Languages
English
Rights
License
Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited.
Read more
Copyright
Copyright (c) 2026 Jonathan Michael Langford
Citation
Export
Technical metadata
Created
July 23, 2026
Modified
July 23, 2026
Jump up
This site uses cookies. Find out more on how we use cookies
Accept all cookies<br>Accept only essential cookies