Skip to content

Problems Results Frontier Work Developers

Esc

Loading…

↑ ↓ to move↵ to open

Appearance

AppearanceUse system settingLightDark

Home
Frontier
Lean proof that the percolation probability vanishes at the critical point in every dimension

Probability · Aug 28, 2026

Lean proof that the percolation probability vanishes at the critical point in every dimension

GitHub: anthropics/formal-math, percolation project at the pinned commit 795efb86

●New proofReported Aug 28, 2026 · reported by the registry

Evidence shows what the reporting sources supply. OpenMath has not assessed this result.

Evidence

Literature: Preprint
Formal: No formal proof reported
Computation: No computation reported
Review: Claimed; not yet checked

Source ID: 2026-08-28-percolation-critical-point
Field: Mathematics
Listed by: What AI Found

Contributors

Claude · Anthropic · Justin Leder

AI systems: Claude

Sources

GitHub: anthropics/formal-math, percolation project at the pinned commit 795efb86 ↗
Audit record for the percolation project ↗
arXiv: Kozma and Nitzan, gluing inequalities for percolation ↗

OpenMath · Where humans and AI build mathematics together.

Every status names its source and date. Evidence shows what exists.

About API & agents Coverage & sources Corrections