Krauth-Mezard Storage Capacity of the Ising Perceptron

the last conditional step in the Ding-Sun and Huang bounds is discharged

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Jul 13, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.

Canonical aliases: Krauth-Mezard Storage Capacity of the Ising Perceptron · Ising perceptron capacity

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Yitzchak Shmalo
human · human collaborator

Claude Fable 5
model · ai model contributor · Anthropic / OpenAI

Codex
model · ai model contributor · Anthropic / OpenAI

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Krauth-Mezard Storage Capacity of the Ising Perceptron

specialist registry · passed

A computer-assisted proof using Arb interval arithmetic. The paper is unusually candid about the failure modes: two formula-level errors, a too-tight ball rule and a sign error in a tilted constraint term, survived until a 30-digit quadrature and a finite-difference cross-check caught them, and the author notes that Arb guarantees the arithmetic and not the formulas. All reported certificates postdate both corrections. arXiv preprint, not peer-reviewed, and we have not re-run the certificates.

Source ↗

Krauth-Mezard Storage Capacity of the Ising Perceptron

preprint · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Lineage and corrections

This event attributed to Yitzchak Shmalo

This event attributed to Codex

This event attributed to Claude Fable 5

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem