The 108-page manuscript claims that a completed (3,4,∞) family of complex two-tori produces a compact complex threefold diffeomorphic to S⁶. Exact finite identities and a stipulated local torsion mechanism have been reproduced locally. Analytic quotient and gluing, relative meridian signs, integral homology, and the headline theorem remain unresolved.
Status
audit in progress · human review required
Source
retrieved 2026-08-24 · locked
Next open step
Trace the relative meridian signs and toric zero-section independently before reusing the passing group arithmetic
The manuscript claims a configuration of five positive charges with at least 24 nondegenerate critical points of its Coulomb potential. Since (5−1)²=16, that would contradict the proposed Maxwell bound. The source is locked and five gates are mapped; no computation or mathematical audit has run in this lab.
Status
claim mapped
Source
arXiv v1 · locked
Next open step
Independently derive the exact rescaling, Taylor coefficients, and polynomial skeleton before testing the critical-point count
This case is not one theorem and will not receive a corpus-wide pass or fail. The locked packet contains ten independent proposed solutions. Attempt 2 is the first blinded negative-control target; OpenAI's public assessment is held out until the lab's status and evidence are frozen.
Status
claim mapped
Source
revised packet · locked
Next open step
Freeze the blinded attempt-2 working bundle and version-delta record without leaking the known external comparator label
The locked v2 manuscript claims point convergence of the Nesterov iterates, not merely convergence of objective values. Four load-bearing gates are mapped from the recurrence and energy inequality through the unique-cluster-point argument. No gate has run.
Status
claim mapped
Source
arXiv v2 · locked
Next open step
Independently derive the recurrence equivalence and discrete energy inequality under the exact tₖ hypotheses
2026-07-10-openai-cycle-double-cover · Graph theory
The three-page manuscript claims the cycle double cover conjecture and ships with a public Lean artifact. Both sources are locked. The first gate is prose-to-Lean statement and definition correspondence; the repository has not been built or mathematically audited in this lab.
Status
claim mapped
Source
PDF + Lean 577e9d9 · locked
Next open step
Map the manuscript's theorem and graph conventions to the pinned Lean endpoint before drawing any inference from a build
Chapter 3 of OpenAI's updated Ten Advances manuscript claims that the binary Leavitt algebra's unit group is not sofic. The pinned Lean commit predates a substantive prose revision by four days. Paper-to-Lean and version correspondence is therefore the first gate; no build or mathematical audit has run.
Status
claim mapped
Source
updated 2026-08-06 · locked
Next open step
Reconcile the substantively revised August 6 prose with the August 2 Lean commit before any formal replay is treated as relevant
Statuses are records of evidence collected for a defined scope. They are not peer-review decisions, publication recommendations, or certificates of mathematical truth.