Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

A singular repulsive power tail is stable

Example

Fix d≥1 and ϵ>0. Define ϕrep(x):={+∞,x=0,∥x∥2−d−ϵ,x≠0. This is an even, Borel-measurable stable power-tempered pair potential. It has an unbounded repulsive core and a nonzero algebraic tail.

Facts & Assumptions

Given: The Euclidean norm and model-class definitions of Stable power-tempered pair-potential model, d≥1, and ϵ>0.

[F1]

Stable power-tempered pair-potential model: stability means a uniform lower bound UN≥−BN, and power tempering is the displayed two-sided absolute tail bound.

Verification

1.1givenF1F2algebra

From the coordinate formula in [F1], ∥x∥2=∑r=1dxr2 is continuous: each coordinate square is continuous by u2−v2=(u−v)(u+v), and for u,v≥0, ∣u−v∣≤∣u−v∣, since, if u≥v, (u−v)2≤(u−v)(u+v)=u−v, with the other case symmetric. Thus the square-root composition is continuous, including at x=0. On Rd∖{0}, the function x↦∥x∥2−d−ϵ is therefore continuous by [F2]. The complement of {0} is Borel and {0} is closed, so the piecewise function is Borel; it is even because ∥−x∥2=∥x∥2. For ∥x∥2≥1 it satisfies the tail bound with C=1 and R=1.

2.1F1givenalgebra∎

Every pair term is nonnegative or +∞. Thus every finite pair sum satisfies UN≥0, so the stability constant is B=0. This proves the claimed model-class membership.

Depends on

Dependency tree · 2 levels

Sources