{ "format_version": 3, "claim_formal": { "subject": "division-by-zero handling in computers", "property": "was a hidden, unintentional 'math glitch' that was patched in 2026", "operator": ">=", "operator_note": "The claim makes two assertions: (SC1) division-by-zero prevention was a hidden, unintentional 'math glitch'; (SC2) this was patched in 2026. Both must be true for the claim to hold. The claim is refuted if: 3+ independent verified sources document that division-by-zero behavior has been intentionally defined (not a glitch) for decades before 2026, AND zero credible sources document a '2026 patch' for division-by-zero. Threshold of 3 sources is conservative given this is a well-documented technical standard. proof_direction='disprove': empirical_facts contain sources that refute the claim; disproof_established = (n_refuting >= threshold); claim_holds = NOT disproof_established.", "threshold": 3, "proof_direction": "disprove" }, "claim_natural": "Computers had a hidden \"math glitch\" preventing division by zero until it was patched in 2026.", "evidence": { "B1": { "type": "empirical", "label": "Wikipedia: IEEE 754 \u2014 division by zero is a defined exception type, not a glitch", "sub_claim": null, "source": { "name": "Wikipedia: IEEE 754 floating-point standard", "url": "https://en.wikipedia.org/wiki/IEEE_754", "quote": "The standard defines five exception types: invalid operation, division by zero, overflow, underflow, and inexact." }, "verification": { "status": "partial", "method": "aggressive_normalization", "coverage_pct": null, "fetch_mode": "live", "credibility": { "domain": "wikipedia.org", "source_type": "reference", "tier": 3, "flags": [], "note": "Established reference source" } }, "extraction": { "value": "", "value_in_quote": false, "quote_snippet": null } }, "B2": { "type": "empirical", "label": "Wikipedia: Division by zero \u2014 IEEE arithmetic defines well-specified, deterministic behavior", "sub_claim": null, "source": { "name": "Wikipedia: Division by zero", "url": "https://en.wikipedia.org/wiki/Division_by_zero", "quote": "In IEEE arithmetic, division of 0/0 or infinity/infinity results in NaN, but otherwise division always produces a well-defined result." }, "verification": { "status": "verified", "method": "full_quote", "coverage_pct": null, "fetch_mode": "live", "credibility": { "domain": "wikipedia.org", "source_type": "reference", "tier": 3, "flags": [], "note": "Established reference source" } }, "extraction": { "value": "", "value_in_quote": false, "quote_snippet": null } }, "B3": { "type": "empirical", "label": "OSDev Wiki: x86 Divide Error (#DE) \u2014 standard hardware exception since early x86", "sub_claim": null, "source": { "name": "OSDev Wiki: x86 Processor Exceptions", "url": "https://wiki.osdev.org/Exceptions", "quote": "The Division Error occurs when dividing any number by 0 using the DIV or IDIV instruction, or when the division result is too large to be represented in the destination." }, "verification": { "status": "verified", "method": "full_quote", "coverage_pct": null, "fetch_mode": "wayback", "credibility": { "domain": "osdev.org", "source_type": "unknown", "tier": 2, "flags": [], "note": "Unclassified domain \u2014 verify source authority manually" } }, "extraction": { "value": "", "value_in_quote": false, "quote_snippet": null } }, "A1": { "type": "computed", "label": "Count of verified sources refuting the claim (SC1 + SC2)", "sub_claim": null, "method": "sum(status in ('verified','partial') for refuting sources)", "result": "3 of 3 sources verified", "depends_on": [] }, "A2": { "type": "computed", "label": "Claim holds evaluation: disproof established => original claim does not hold", "sub_claim": null, "method": "claim_holds = NOT(n_refuting >= threshold)", "result": "claim_holds = False (disproof_established = True)", "depends_on": [] } }, "cross_checks": [ { "description": "Three independent sources (Wikipedia IEEE 754, Wikipedia Division by zero, OSDev Wiki) each document division-by-zero as intentional, defined behavior", "values_compared": [ "ieee754_wiki: partial", "divbyzero_wiki: partial", "osdev_exceptions: verified" ], "agreement": true, "fact_ids": [] } ], "adversarial_checks": [ { "question": "Does any credible source document a '2026 patch' for division-by-zero in CPUs or IEEE 754?", "verification_performed": "Searched the web for 'division by zero patch 2026', 'CPU divide by zero fix 2026', 'IEEE 754 division by zero bug patch 2026', 'computers math glitch division zero 2026 patch'. Also reviewed Microsoft March 2026 Patch Tuesday (BleepingComputer) which listed 79 CVEs \u2014 none related to arithmetic division-by-zero behavior.", "finding": "No credible source documents any 2026 patch addressing division-by-zero behavior. Microsoft's March 2026 Patch Tuesday addressed SQL Server, .NET, and Windows security vulnerabilities; no arithmetic behavior was changed. No IEEE 754 revision was issued in 2026. The '2026 patch' component of the claim is entirely fabricated.", "breaks_proof": false }, { "question": "Could there be an obscure CPU microcode update in 2026 affecting division by zero?", "verification_performed": "Searched for 'Intel errata division by zero 2026', 'AMD microcode division by zero 2026', 'ARM Cortex divide by zero errata 2026'. Reviewed processor errata reports from major vendors.", "finding": "No hardware errata from Intel, AMD, or ARM in 2026 pertains to division-by-zero behavior. The x86 #DE (divide error) exception has been stable since the Intel 8086 (1978). The 1994 Intel Pentium FDIV bug was a floating-point division *accuracy* bug for specific operand pairs \u2014 not a division-by-zero issue \u2014 and was resolved in 1994, not 2026.", "breaks_proof": false }, { "question": "Was division-by-zero handling ever described as a 'hidden glitch' in mainstream computer science?", "verification_performed": "Searched for 'division by zero glitch CPU hidden', 'division by zero unintentional computer design', 'division by zero bug computer history'. Reviewed IEEE 754-1985 historical background.", "finding": "Division-by-zero raising a hardware exception (#DE) has been intentional since at least the Intel 8086 (1978) and IBM S/360 (1964). IEEE 754-1985 explicitly standardized floating-point division-by-zero as returning \u00b1infinity (or NaN for 0/0), with an optional exception flag. No mainstream CS literature characterizes this as a 'hidden glitch'.", "breaks_proof": false } ], "verdict": { "value": "DISPROVED", "qualified": true, "qualifier": "unverified_citations", "reason": null }, "key_results": { "n_refuting_sources_verified": 3, "disproof_threshold": 3, "disproof_established": true, "claim_holds": false, "sc1_division_by_zero_intentional": "IEEE 754 (1985) and x86 #DE exception (1978) document intentional, defined behavior", "sc2_no_2026_patch": "Web search confirms no 2026 patch for division-by-zero in any CPU, OS, or standard" }, "generator": { "name": "proof-engine", "version": "0.10.0", "repo": "https://github.com/yaniv-golan/proof-engine", "generated_at": "2026-03-28" }, "proof_py_url": "/proofs/computers-had-a-hidden-math-glitch-preventing-divi/proof.py", "citation": { "doi": null, "concept_doi": null, "url": "https://proofengine.info/proofs/computers-had-a-hidden-math-glitch-preventing-divi/", "author": "Proof Engine", "cite_bib_url": "/proofs/computers-had-a-hidden-math-glitch-preventing-divi/cite.bib", "cite_ris_url": "/proofs/computers-had-a-hidden-math-glitch-preventing-divi/cite.ris" }, "depends_on": [] }