Claim LD01-SL-C20 (v1.0)
Adding a clause that seems relevant but does not change the answer to grade-school maths problems cut accuracy by up to 65 percentage points across 25 models; GPT-4o scored 95.2% on the full GSM8K test set and 63.1% with the clause added, and OpenAI’s o1-preview 94.9% and 77.4%.
Research opportunities this claim motivates
What this claim leaves open for research. Each is a hypothesis about a gap, not a finding.
- Do the failure patterns of 2023–2024 language models persist in reasoning models?Irrelevant clauses cut maths accuracy by up to 65 percentage points in 2024 models.
Provenance and status
- Claim type
- ESTIMATE (as printed: “ESTIMATE”)
- Publication status
- ELIGIBLE (QUALIFIED) (as printed: “ELIGIBLE WITH QUALIFIER”)
- Verification state
- CONTENT_VERIFIED_PRIMARY (as printed: “CONTENT VERIFIED”; verified by: UNKNOWN)
- Does not license
- A finding that models cannot reason; the authors state their pattern-matching reading as a hypothesis
- Source (field 6, as printed)
- Mirzadeh, Alizadeh, Shahrokhi, Tuzel, Bengio & Farajtabar, “GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models,” ICLR 2025
- Source type (field 7)
- PEER_REVIEWED_CONFERENCE_PAPER (as printed: “Peer-reviewed conference paper”)
- Institutional position
- Industry research (Apple; one author at Washington State University)
- Maturity (claim evidence / publication maturity)
- EMERGING (as printed: “EMERGING”)
- Recorded date
- 2026-10-16
- Currentness / correction
- This is the current version. No correction or concern relation is recorded on its Sources.
Version
Current version v1.0, resolved through the explicit current pointer CLAIM--LD01-SL-C20.
Pinned Sources (field 6, version-specific)
- “Mirzadeh, Alizadeh, Shahrokhi, Tuzel, Bengio & Farajtabar, “GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models,” ICLR 2025” → SRC-SL-MIRZADEH-ET-AL-GSM-SYMBOLIC-ARXIV-2410-05229--v1.0 — Mirzadeh, Alizadeh, Shahrokhi, Tuzel, Bengio & Farajtabar, “GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models,” ICLR 2025; class PEER_REVIEWED_CONFERENCE_PAPER (explicit public provenance pin)
All 25 canonical Claim fields (raw values and normalized values)
| # | Canonical field | Canonical value (verbatim) | Normalized (Claim Value Vocabulary v1.0.2) |
|---|---|---|---|
| 1 | CLAIM ID | LD01-SL-C20 | — |
| 2 | PUBLIC-FACING CLAIM | Adding a clause that seems relevant but does not change the answer to grade-school maths problems cut accuracy by up to 65 percentage points across 25 models; GPT-4o scored 95.2% on the full GSM8K test set and 63.1% with the clause added, and OpenAI’s o1-preview 94.9% and 77.4%. | — |
| 3 | CLAIM TYPE | ESTIMATE | base_types: ESTIMATE |
| 4 | RESEARCH STRAND | B — Evidence that could tell the accounts apart | — |
| 5 | MATURITY | EMERGING | states: EMERGING |
| 6 | SOURCE | Mirzadeh, Alizadeh, Shahrokhi, Tuzel, Bengio & Farajtabar, “GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models,” ICLR 2025 | source_ids: SRC-SL-MIRZADEH-ET-AL-GSM-SYMBOLIC-ARXIV-2410-05229 |
| 7 | SOURCE TYPE | Peer-reviewed conference paper | classes: PEER_REVIEWED_CONFERENCE_PAPER |
| 8 | INSTITUTIONAL POSITION | Industry research (Apple; one author at Washington State University) | — |
| 9 | SCOPE | Grade-school maths word problems in English; models available in 2024 | — |
| 10 | DESIGN | Templates that vary names and numbers in benchmark problems; harder variants; an irrelevant-clause variant | — |
| 11 | SAMPLE / DATASET | Templates built from 100 GSM8K problems; 25 models | — |
| 12 | MODEL / TOOL / VERSION | 25 open and proprietary models, including GPT-4o and o1-preview | — |
| 13 | COMPARATOR | The full GSM8K test set and the 100 template problems without the added clause (95.0% for GPT-4o, 96.0% for o1-preview) | — |
| 14 | MAIN RESULT | Accuracy varies across versions of the same problem; drops of up to 65 percentage points with an irrelevant clause; GPT-4o 95.2% (full GSM8K) and 63.1% (with the clause); o1-preview 94.9% and 77.4% | — |
| 15 | INFERENTIAL TARGET | Whether models’ mathematical reasoning is robust to changes that do not alter the problem | — |
| 16 | DOES NOT LICENSE | A finding that models cannot reason; the authors state their pattern-matching reading as a hypothesis | — |
| 17 | VERIFICATION STATE | CONTENT VERIFIED | state: CONTENT_VERIFIED_PRIMARY · verified_by: UNKNOWN |
| 18 | LIMITATIONS | Read in arXiv version 2 (27 August 2025); no human baseline on the irrelevant clauses; 2024 models; the authors work for a company that sells AI products; a 2026 re-analysis of 20 open-weight models (Długosz, Oliveira & Díaz-Rodríguez, arXiv:2605.28700) disputes the statistical basis of the finding on changed names and numbers but leaves the irrelevant-clause variant out of scope | — |
| 19 | CONTRADICTORY / SUPPORTING SOURCES | LD01-SL-C18, LD01-SL-C21 | — |
| 20 | GEOGRAPHY / LANGUAGE | English task set | — |
| 21 | DISTRIBUTIONAL LEDGER | Not analysed in this claim | — |
| 22 | R01 / FIELD-MAP LINKS | LD-01, T4, D3 | — |
| 23 | WHAT WOULD CHANGE THIS CLAIM? | Humans showing similar drops on the same items, or newer models showing none | — |
| 24 | PUBLICATION STATUS | ELIGIBLE WITH QUALIFIER | state: ELIGIBLE · qualifiers: QUALIFIED |
| 25 | RECORDED DATE | 2026-10-16 | — |
Field 22 references resolved against Field Map v0.2: LD-01 (LIVING_DEBATE); T4 (TENSION); D3 (DOMAIN)
Cited by Living Debate versions
Research-of-record provenance
Materialized by sociolens-materializer 0.6.0 at 2026-09-28T20:00:00.000Z; normalization contract SocioLens — Claim Value Vocabulary v1.0.2 — Pre-Spike Materialization Contract (v1.0.2). Content seal SHA-256 ad68423f795cfc05a5116a4a7266300f9b43b9adc5e70dfc800830143bc25b95.
Repository-authored inputs (not Drive exports)
- SocioLens claim — LD01-SL-C20 v1.0 (v1.0) — written in the SocioLens repository by Project Lead (Claude, AI) on 2026-10-16; no Drive identity exists. Authority: AGENTS.md "Authority" (the Project Lead decides research content within the research-integrity rules) and the Owner's choice in the SocioLens project chat on 16 October 2026 to build the LD-01 debate; a new Claim, first version, written from the project's LD-01 source notes, checked against full texts, official web pages or official abstracts. Block “ENTRY 20 — LD01-SL-C20” SHA-256
79c0870a6ab9c0e19ea468f0d8c1fc24faee378c8d70ed05f4c7e3660797b8f0; fixturefixtures/authored/claims/LD01-SL-C20--v1.0.
Builder decisions (not Drive data)
- VERSION = v1.0 — basis: Claim version taken from the repository-authored claim fixture version (SocioLens claim — LD01-SL-C20 v1.0); the first version of a new Claim of the LD-01 debate
- CURRENT_POINTER = true — basis: repository-authored claim "SocioLens claim — LD01-SL-C20 v1.0" (Project Lead (Claude, AI), 2026-10-16); basis: AGENTS.md "Authority" (the Project Lead decides research content within the research-integrity rules) and the Owner's choice in the SocioLens project chat on 16 October 2026 to build the LD-01 debate; a new Claim, first version, written from the project's LD-01 source notes, checked against full texts, official web pages or official abstracts
- FIELD_6_SOURCE_REFERENCE = SRC-SL-MIRZADEH-ET-AL-GSM-SYMBOLIC-ARXIV-2410-05229--v1.0 — basis: field 6 of ENTRY 20 — LD01-SL-C20 cites "Mirzadeh, Alizadeh, Shahrokhi, Tuzel, Bengio & Farajtabar, “GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models,” ICLR 2025"; the only field-6 segment of this ClaimVersion's repository-authored ledger block.
- SOURCE_PROVENANCE_PIN = SRC-SL-MIRZADEH-ET-AL-GSM-SYMBOLIC-ARXIV-2410-05229--v1.0 — basis: explicit version-pinned public provenance of this ClaimVersion (Amendment v1.2 §6): the pinned field-6 Source record "Mirzadeh, Alizadeh, Shahrokhi, Tuzel, Bengio & Farajtabar, “GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models,” ICLR 2025".