Transparent triage

Replay-ready,
not guaranteed.

A replay-ready signal requires a public primary source, a non-candidate/non-contested/non-retracted status, and verification at or above source_audited. It is not a mathematical success probability.

partial lean checked statement unaudited replay-ready

Mahler's $Z$-number problem in its generalized form

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Distribution mod one; Mahler's Z-numbers
resolved lean verified statement audited replay-ready

Normality of a sum of two Stoneham constants

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Normal numbers and digit expansions
resolved lean verified statement audited replay-ready

The Hilbert transform-UMD dependence problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Banach space geometry and harmonic analysis
resolved lean verified statement audited replay-ready

Binary normality of a localized logarithm value

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Normal numbers and digit expansions
resolved lean verified statement audited replay-ready

Finite-time blowup for the inviscid Boussinesq system with smooth forcing

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Fluid dynamics; singularity formation for incompressible flow
partial lean checked statement unaudited replay-ready

An improved lower bound for the Shannon capacity of $C_{11}$

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Zero-error information theory; graph capacity; combinatorics
partial lean checked statement unaudited replay-ready

Reciprocal-triple-free sets: the finite plateau at 732

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal sets avoiding distinct reciprocal triples
partial lean checked statement unaudited replay-ready

Prime Gaps at Most 186

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic number theory
partial lean checked statement unaudited replay-ready

A new bound for small gaps between primes: $H_1 \le 212$

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic number theory
resolved lean verified statement audited replay-ready

Erdős Problem #126: prime divisors of pairwise sums

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Elementary number theory
resolved lean verified statement audited replay-ready

Erdős Problem #1: sum-distinct sets

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive combinatorics
resolved lean verified statement audited replay-ready

Erdős Problem #548: the Erdős–Sós conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
partial independent expert verified replay-ready

A tilted residue-class construction for long prime-free intervals

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic number theory; large gaps between primes
partial lean checked statement unaudited replay-ready

A Conjecture on Triple Counts for the Kasami APN Function

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Finite fields and APN functions
resolved lean checked statement unaudited replay-ready

Composites Among $[\xi 7^n]$ and Right-Truncatable Primes in Base 7

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number theory - integer sequences
resolved lean verified statement audited replay-ready

Phelps–Rodriguez Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Complex analysis
partial lean checked statement unaudited replay-ready

The Proportion of Zeta Zeros on the Critical Line

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic number theory
partial lean checked statement unaudited replay-ready

Matrix-Tree Obstruction for Half-Collinear Graviton Vertices

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Scattering amplitudes; directed spanning trees
partial lean checked statement unaudited replay-ready

The Huang-Jiang-Oblomkov Conjecture at a = 3

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

q-series; arithmetic geometry
resolved lean verified statement audited replay-ready

Sendov's Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Complex analysis
resolved lean verified statement audited replay-ready

The Generalized Vanishing Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Commutative algebra; differential operators
resolved lean checked statement unaudited replay-ready

Lower Bounds for Multivariate Independence Polynomials

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal combinatorics; statistical physics
resolved lean checked statement unaudited replay-ready

Gabor Frames of Totally Positive Functions

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Time-frequency analysis
resolved lean verified statement audited replay-ready

Schiffer's Conjecture and the Pompeiu Problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Spectral geometry
resolved independent expert verified replay-ready

The Middle Stair of Parallel Chip-Firing

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial dynamics
resolved lean verified statement audited replay-ready

Asymptotically attaining the Moore bound

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorics
partial lean verified statement audited replay-ready

Upper Bounds for High-Dimensional Sphere Packing

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete geometry
partial lean verified statement audited replay-ready

Lower Bounds for the Permanent in Arithmetic Circuits

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic complexity
partial lean verified statement audited replay-ready

Upper Bounds for Binary and Spherical Codes

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Coding theory
resolved lean checked statement unaudited replay-ready

Local limits along squares and prime values of digital functions

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Digital problems; local limit theorems; Sidon sets; sieve methods
resolved lean checked statement unaudited replay-ready

Prime values of digital functions along the primes

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Analytic number theory
partial lean verified statement audited replay-ready

Record Lower Bounds for the Shannon Capacity of Odd Cycles

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Zero-error information theory
partial lean checked statement unaudited replay-ready

The Han-Xiong Integer Trace Conjecture

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

q-series and partitions
resolved lean checked statement unaudited replay-ready

The Tu-Deng Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Boolean functions; combinatorial number theory
resolved lean verified statement audited replay-ready

Erdős Problem #106

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete Geometry, Packing
resolved independent expert verified replay-ready

Huneke-Wiegand Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Commutative Algebra
resolved lean verified statement audited replay-ready

Optimal Exponent Relating Sumsets and Difference Sets

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive combinatorics
resolved lean verified statement audited replay-ready

Written on the Wall II, Graph Conjecture 109

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph invariants
resolved lean verified statement audited replay-ready

Kemeny Rank Aggregation for Three Voters

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Computational social choice
resolved independent expert verified replay-ready

Crouzeix's Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Matrix analysis
resolved lean verified statement audited replay-ready

Feige's Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability
resolved lean verified statement audited replay-ready

Explicit Presentation of the 2-adic Absolute Galois Group

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic number theory
resolved lean verified statement audited replay-ready

Written on the Wall II, Graph Conjecture 103

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph invariants
resolved lean verified statement audited replay-ready

Written on the Wall II, Graph Conjecture 143

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph invariants
resolved lean verified statement audited replay-ready

Erdős Problem #469

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Divisors
resolved lean verified statement audited replay-ready

Kourovka Problem 20.125 - Noninjective Rota-Baxter Operator

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group theory
resolved lean verified statement audited replay-ready

Kourovka Problem 21.24 - Cograph Power Graphs Are Chordal

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group theory
resolved lean verified statement audited replay-ready

Kourovka Problem 21.8 - Horizontal Class Transpositions

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group theory
resolved lean verified statement audited replay-ready

Kourovka Problem 21.147 - Relatively Convex Subgroups

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group theory
resolved lean verified statement audited replay-ready

Gaussian product inequality conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability & statistics
resolved lean verified statement audited replay-ready

Kourovka Problem 19.25 - Totient Sums and Simplicity

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Group theory
resolved independent expert verified replay-ready

Jacobian Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic Geometry
resolved lean verified statement audited replay-ready

Sabidussi's Compatibility Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph theory
partial lean verified statement audited replay-ready

Erdős Problem #769

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete Geometry
partial lean verified statement audited replay-ready

Erdős Problem #130

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrete Geometry, Chromatic Number
partial lean verified statement audited replay-ready

Erdős Problem #959

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Distinct Distances
partial lean verified statement audited replay-ready

Erdős Problem #709

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal Divisibility
partial lean verified statement audited replay-ready

Erdős Problem #1189

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Covering Systems
resolved lean verified statement audited replay-ready

Elizalde-Luo Pattern-Avoidance Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Enumerative combinatorics
resolved lean verified statement audited replay-ready

Grothendieck's Finite Flat Group Scheme Order Question

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic Geometry
resolved lean checked statement unaudited replay-ready

Cycle Double Cover Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph Theory
resolved lean verified statement audited replay-ready

Strichartz's Question on Fourier Frames for the Cantor Measure

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Harmonic analysis
partial lean verified statement audited replay-ready

Erdős Problem #866

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive Combinatorics
resolved lean verified statement audited replay-ready

Erdős Problem #123

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved lean verified statement audited replay-ready

Erdős Problem #793

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved lean verified statement audited replay-ready

FGG Conjecture for QAOA on the Ring of Disagrees

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum optimization
resolved lean verified statement audited replay-ready

The Erdos-Sos Pairwise-Sums Problem

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive combinatorics
partial lean verified statement audited replay-ready

Erdős Problem #176

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Discrepancy Theory
partial lean verified statement audited replay-ready

Erdős Problem #942

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Powerful Numbers
resolved lean verified statement audited replay-ready

Erdős Problem #539

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory, Multiplicative Combinatorics
resolved independent expert verified replay-ready

FullRSB Jamming Identity a + b = 1

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Statistical physics
resolved lean verified statement audited replay-ready

Log-Concavity of Codimension-Three Pure O-Sequences

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Commutative algebra
partial lean verified statement audited replay-ready

Erdős Problem #12

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal Number Theory
partial lean verified statement audited replay-ready

Four-Particle Monochromatic Quantum Graphs

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum optics & graph amplitudes
resolved lean verified statement audited replay-ready

Erdős Problem #138

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Ramsey Theory
resolved lean verified statement audited replay-ready

Written on the Wall II, Graph Conjecture 2

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Extremal graph theory
partial lean verified statement audited replay-ready

Monochromatic Quantum Graphs in the Diagonal Family

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Quantum optics & graph amplitudes
resolved lean verified statement audited replay-ready

Ben Green's Open Problem 57

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Higher-order Fourier analysis
resolved independent expert verified replay-ready

Integral Local Invariant Cycles in Degree One

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic geometry
resolved lean verified statement audited replay-ready

Erdős Problem #1039

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Complex Analysis
resolved independent expert verified replay-ready

Total Variation for the Lamplighter Walk on Z

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability on groups
resolved independent expert verified replay-ready

Return Probability for the Lamplighter Walk on a Tree

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Probability on groups
partial lean verified statement audited replay-ready

Erdős Problem #1032

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Critical Graph Theory
resolved independent expert verified replay-ready

Erdős's Planar Unit Distance Conjecture

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial Geometry
partial lean verified statement audited replay-ready

Optimal Strategies in the All-Heads Coin Game

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Markov decision processes
resolved lean checked statement unaudited replay-ready

Nathanson's Problems on Product Intersection Sets

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive and multiplicative combinatorics
resolved lean checked statement unaudited replay-ready

Erdős Problem #670: Diameter with Separated Distances

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorial geometry
resolved lean verified statement audited replay-ready

Anderson's Quasi-Completeness Question

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Commutative algebra
resolved lean verified statement audited replay-ready

Last-Iterate Rate for Anchored Gradient Descent-Ascent

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Convex optimization
resolved lean verified statement audited replay-ready

Erdős Problem #1196: Primitive Sets

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved lean checked statement unaudited replay-ready

Sárközy's Conjecture on Sums and Products Modulo a Prime

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive combinatorics over finite fields
partial lean checked statement unaudited replay-ready

The Lattice Triangle Problem in the Hard Obtuse Window

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Teichmüller dynamics
resolved lean verified statement audited replay-ready

Hamilton Decompositions of the Directed 3-Torus

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Graph decompositions
resolved independent expert verified replay-ready

Simplicity of the Hodge Bundle

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic geometry
resolved lean verified statement audited replay-ready

Equilibria of the Vlasov-Maxwell-Landau System

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Kinetic PDE
resolved lean verified statement audited replay-ready

Erdős Problem #966

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Additive Combinatorics, Ramsey Theory
resolved lean checked statement unaudited replay-ready

Almost All Primes are Partially Regular

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Algebraic number theory
resolved lean checked statement unaudited replay-ready

Chen-Gendron Spin-Parity Identity for k-Differentials

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Flat surfaces & moduli
resolved lean checked statement unaudited replay-ready

Fel's Conjecture on Syzygies of Numerical Semigroups

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Commutative algebra
partial independent expert verified replay-ready

Erdős Problem #1040

VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Potential Theory
resolved lean checked statement unaudited replay-ready

A Generalization of Boppana's Entropy Inequality

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Entropy inequalities
resolved lean verified statement audited replay-ready

Erdős Problem #728: Factorial Divisibility

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Number Theory
resolved lean verified statement audited replay-ready

Erdős Problem #1026: Monotonic Subsequence Sums

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Combinatorics
resolved lean verified statement audited replay-ready

Erdős Problem #707: Sidon Sets and Perfect Difference Sets

VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.