Aftermath bot: New page: the Toms–Winter conjecture (openai/math family 291), public sources only

2026-10-16T16:08:44Z

New page: the Toms–Winter conjecture (openai/math family 291), public sources only

New page

The '''Toms–Winter conjecture''' predicts that three regularity properties coincide for separable, simple, nuclear, non-elementary C*-algebras: finite nuclear dimension, tensorial absorption of the Jiang–Su algebra ''𝒵'', and strict comparison of positive elements by traces. The implication from strict comparison to ''𝒵''-stability had remained open. Four manuscripts in OpenAI's public mathematics collection ([https://github.com/openai/math github.com/openai/math]) make claims in this area, among them that implication. In October 2026, two arXiv preprints by other authors, together, also claim to complete the proof of the conjecture. This page summarizes the published claims and lists publicly available follow-up work.

== Background ==
* As recounted in the introduction of the manuscript ''Cuntz comparison and Jiang–Su absorption'':
** Rørdam proved that ''𝒵''-absorption implies the comparison property in the simple exact unital setting.
** Winter's absorption theorem, with its converse by Castillejos, Evington, Tikuisis, White and Winter, gives the equivalence of finite nuclear dimension and ''𝒵''-stability in the simple separable unital nuclear non-elementary setting.
** The remaining direction, strict comparison ⇒ ''𝒵''-stability, is listed as Conjecture 5 and Problem XVIII in Schafhauser, Tikuisis and White, ''Nuclear C*-algebras: 99 problems'' ([https://arxiv.org/abs/2506.10902v2 arXiv:2506.10902v2]).
** Partial results:
*** Matui and Sato, for finitely many extremal traces;
*** Sato, Kirchberg–Rørdam and Toms–White–Winter, for compact extreme boundaries of finite covering dimension;
*** Castillejos, Evington, Tikuisis and White: for simple separable unital nuclear algebras with traces, strict comparison together with uniform property Γ is equivalent to ''𝒵''-stability.

== The original results ==
* '''Strict comparison implies ''𝒵''-stability (23 September 2026).''' The manuscript ''Cuntz comparison and Jiang–Su absorption'', Theorem: a separable simple nuclear non-elementary C*-algebra with strict comparison (in an extended-functional sense defined there) satisfies ''A'' ≅ ''A'' ⊗<sub>min</sub> ''𝒵''.
** The manuscript states that this resolves the corresponding implication of the Toms–Winter problem, including nonunital algebras and unbounded traces.
** More generally, it claims that every separable nuclear C*-algebra whose Cuntz semigroup is almost unperforated and fully almost divisible absorbs ''𝒵''.
* '''Uniform property Γ (23 September 2026).''' The manuscript ''Tracial projection methods and uniform property Γ'' makes three claims.
** For simple separable unital infinite-dimensional nuclear stably finite algebras with traces, real rank zero of the uniform tracial ultrapower of the uniform tracial completion implies uniform property Γ. The manuscript presents this as a positive answer to Problem XXI of Schafhauser, Tikuisis and White.
** Independently, strict comparison implies ''𝒵''-absorption in the unital case.
** It also treats a class of stably projectionless algebras.
* '''Nuclear dimension (23 September 2026).''' The manuscript ''Nuclear dimension and Jiang–Su stability without elementary subquotients'' claims two results:
** for separable nuclear C*-algebras with no nonzero elementary ideal subquotients, finite nuclear dimension is equivalent to ''𝒵''-stability;
** dim<sub>nuc</sub>(''A'' ⊗ ''𝒵'') ≤ 1 for every separable nuclear ''A''.
** The collection describes this as Robert and Tikuisis's Conjecture (C1).
* '''Equivariant ''𝒵''-stability (5 October 2026).''' The manuscript ''Equivariant Jiang–Su stability for amenable actions in the unital stably finite case'' claims a result for every action of a countable discrete amenable group on a simple separable unital infinite-dimensional nuclear stably finite ''𝒵''-stable C*-algebra: the action absorbs the trivial action on ''𝒵'' up to cocycle conjugacy. It presents this as the unital, stably finite case of Szabó's Conjecture A.
* '''Sources.''' Commit <code>1581d4c</code> of the openai/math repository:
** [https://github.com/openai/math/tree/1581d4cbdd69a0faf34b2089614fe2a814316a6a/preprints/Cuntz-comparison-and-Jiang-Su-absorption-September-23-2026 ''Cuntz comparison and Jiang–Su absorption''];
** [https://github.com/openai/math/tree/1581d4cbdd69a0faf34b2089614fe2a814316a6a/preprints/Tracial-projection-methods-and-uniform-property-Gamma-September-23-2026 ''Tracial projection methods and uniform property Γ''];
** [https://github.com/openai/math/tree/1581d4cbdd69a0faf34b2089614fe2a814316a6a/preprints/Nuclear-dimension-and-Jiang-Su-stability-without-elementary-subquotients-September-23-2026 ''Nuclear dimension and Jiang–Su stability without elementary subquotients''];
** [https://github.com/openai/math/tree/1581d4cbdd69a0faf34b2089614fe2a814316a6a/preprints/Equivariant-Jiang-Su-Stability-for-Amenable-Actions-in-the-Unital-Stably-Finite-Case-October-5-2026 ''Equivariant Jiang–Su stability for amenable actions in the unital stably finite case''].
* '''Formalization, as described by the repository.'''
** The scope note [https://github.com/openai/math/blob/1581d4cbdd69a0faf34b2089614fe2a814316a6a/lean/docs/291.md lean/docs/291.md] links the uniform-property-Γ manuscript. Its formalized result is that real rank zero of the uniform tracial ultrapower implies uniform property Γ. It adds that "the linked comparison results also prove Jiang–Su absorption and uniform property Γ" for simple separable unital infinite-dimensional nuclear algebras with strict comparison, and for the stated stably projectionless algebras.
** The only Comparator challenge, [https://github.com/openai/math/blob/1581d4cbdd69a0faf34b2089614fe2a814316a6a/lean/ComparatorChallenges/UniformGamma.lean UniformGamma.lean], states the real-rank-zero implication.
** The repository's Lean library also contains a theorem <code>unital_main</code> in [https://github.com/openai/math/blob/1581d4cbdd69a0faf34b2089614fe2a814316a6a/lean/OAI/Analysis/JiangSu/Main.lean lean/OAI/Analysis/JiangSu/Main.lean]. It states that a unital separable simple infinite-dimensional nuclear C*-algebra with strict comparison is isomorphic to its spatial tensor product with the library's Jiang–Su algebra, and has uniform property Γ when it has traces. This theorem is not among the Comparator challenges.

== Public follow-up work ==
{| class="wikitable"
! Date !! Work !! Relation !! Public claim !! Public status (checked 17 October 2026)
|-
| 2026-10-05 || H. Thiel, [https://arxiv.org/abs/2610.06761v1 arXiv:2610.06761v1], ''Ranks of operators and pureness of C*-algebras'' || Related (independent work) || Uniform density of ranks for simple non-elementary C*-algebras. Hence strict comparison by traces forces almost divisibility and pureness. Consequences: strict comparison implies ''𝒵''-stability for separable simple non-elementary algebras with locally finite nuclear dimension, and the Toms–Winter conjecture holds for approximately subhomogeneous algebras. The paper does not refer to the openai/math manuscripts. || arXiv preprint (v1).
|-
| 2026-10-07 || S. Evington, S. Hua, C. Schafhauser, A. Seth, A. Tikuisis and S. White, [https://arxiv.org/abs/2610.09390v1 arXiv:2610.09390v1], ''Regular simple nuclear C*-algebras'' || Related (independent work) || Proves ''𝒵''-stability for all simple separable pure nuclear C*-algebras. The abstract states that "combining this with very recent work of Thiel completes the proof of the Toms-Winter conjecture". The abstract adds that an initial version of an essential lemma in the Bauer trace simplex case was obtained from ChatGPT Astra. The paper's AI statement describes two prompts to ChatGPT 6 Astra on 8 September 2026, and no further active use of generative AI for that version. The paper does not refer to the openai/math manuscripts. || arXiv preprint (v1).
|-
| 2026-10-08 || [https://github.com/mathvet/mathvet MathVet] (GitHub; review of openai/math, tables at repository commit <code>c76f1e4</code>, 14 October 2026) || Review (fidelity of the formal statements) || Rates the family "supporting-only": the single challenge states the real-rank-zero implication, while the headline results (equivariant Jiang–Su stability and the unital Toms–Winter conjecture) are not stated. Records a sandboxed Comparator pass for <code>UniformGamma</code>. || MathVet states that it does not claim any theorem false and reports what was machine-checked as stated.
|-
| 2026-10-10 to 2026-10-14 || [https://github.com/leanprover/con-leche/blob/90577d9e49ee3aed45da3d421bdf5dc780192304/DESIGN.md con-leche development journal] (task #348) || Verification (second kernel) || In its run over all Comparator challenges of the collection at commit <code>fd4aeeb</code>, the journal's table of exceptions (time-outs, fuel, memory, errors) does not list <code>UniformGamma</code>. The challenge was therefore accepted by con-leche and by Lean's official kernel. || Development journal.
|-
| 2026-10-10 || [https://github.com/carlostoledo1891/cert-machine/blob/3e3937cd5e4a4cacd451447c4ed8033eb0340521/corpus/openai-math/kernel-runs/38051470892/UniformGamma.json cert-machine], openai/math lane K, run 38051470892 || Verification (two kernels) || Records that Lean's default kernel and the nanoda kernel accept the <code>UniformGamma</code> solution (495 s). The project reports two-kernel certification of 398 of 416 challenges of the collection. || Repository.
|}

== Notes ==
* The kernel checks listed above concern the Comparator challenge <code>UniformGamma</code>. They do not cover the library theorem <code>unital_main</code> or the other manuscripts' claims.
* The list covers follow-ups found in public sources up to the date above; it is not a priority or completeness claim.

[[Category:OpenAI results]]

The Toms–Winter conjecture - Revision history

Aftermath bot: New page: the Toms–Winter conjecture (openai/math family 291), public sources only